Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
В.В. Рыбаков (1991)
Sibirskij matematiceskij zurnal
Similarity:
Л.П. Кучко (1977)
Sibirskij matematiceskij zurnal
Similarity:
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
И.П. Натансон (1953)
Matematiceskij sbornik
Similarity:
Ф. Вольтер, М. Захарьящев, F. Vol'ter, M. Zachar'jaščev, F. Vol'ter, M. Zachar'ǎŝev, F. Vol'ter, M. Zachar'jaščev (1997)
Algebra i Logika
Similarity:
Y. Bar-Hillel (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
А.В. Гладкий (1964)
Algebra i Logika
Similarity:
Д.А. Коршунов (1996)
Sibirskij matematiceskij zurnal
Similarity:
А.В. Горяга, A.V. Gorjaga (1975)
Algebra i Logika
Similarity:
А.А. Каплан (1982)
Sibirskij matematiceskij zurnal
Similarity:
М.Б. Балк (1977)
Sibirskij matematiceskij zurnal
Similarity: