Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
С.В. Бабенышев (1993)
Algebra i Logika
Similarity:
Displaying similar documents to “О финитной аппроксимируемости для допустимых правил вывода”
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
Независимые базисы для правил, допустимых в предтабличных логиках
В.В. Рыбаков, В.Р. Кияткин, М. Терзилер (2000)
Algebra i Logika
Similarity:
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
А.В. Чагров (1992)
Algebra i Logika
Similarity:
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)
Algebra i Logika
Similarity:
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
Базисы допустимых правил вывода табличных модальных логик глубины 2.
В.В. Римацкий, V. V. Rimackij, V. V. Rimackij, V. V. Rimackij (1996)
Algebra i Logika
Similarity:
Базы допустимых правил логик S4 и Int
В.В. Рыбаков (1985)
Algebra i Logika
Similarity:
Эффективные оракулы
А.Н. Гамова (1990)
Algebra i Logika
Similarity:
Содержание томов 21-30
([unknown])
Algebra i Logika
Similarity:
Содержание томов 11-20
([unknown])
Algebra i Logika
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.
А.Д. Яшин (2002)
Algebra i Logika
Similarity:
О конечной базируемости по допустимости модальных логик ширины 2.
В.В. Римацкий (1999)
Algebra i Logika
Similarity:
Памяти Юрия Ивановича Мерзлякова
([unknown])
Algebra i Logika
Similarity:
Форсинг в допустимых множествах
Ю.Л. Ершов (1990)
Algebra i Logika
Similarity:
В редакцию 'Алгебры и логики'
А. Гладкий (1967)
Algebra i Logika
Similarity:
Вложения импликатных решеток и суперинтуиционистские логики
С.И. Мардаев (1987)
Algebra i Logika
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity: