Независимые базисы для правил, допустимых в предтабличных логиках
В.В. Рыбаков, В.Р. Кияткин, М. Терзилер (2000)
Algebra i Logika
Similarity:
Displaying similar documents to “Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики”
Независимые базисы для правил, допустимых в предтабличных логиках
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
Наименьшие неподвижные точки в логике Гёделя-Леба
С.И. Мардаев (1993)
Algebra i Logika
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
О конечной базируемости по допустимости модальных логик ширины 2.
В.В. Римацкий (1999)
Algebra i Logika
Similarity:
Промежуточная предикатная логика без свойств Бета.
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)
Algebra i Logika
Similarity:
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
А.В. Чагров (1992)
Algebra i Logika
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
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:
Базы допустимых правил логик S4 и Int
В.В. Рыбаков (1985)
Algebra i Logika
Similarity:
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity: