Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
В.В. Римацкий (1999)
Algebra i Logika
Similarity:
С.И. Мардаев (1993)
Algebra i Logika
Similarity:
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
В.В. Рыбаков (1976)
Algebra i Logika
Similarity:
А.В. Чагров (1992)
Algebra i Logika
Similarity:
В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)
Algebra i Logika
Similarity:
М.Ф. Раца (1982)
Algebra i Logika
Similarity: