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