Об одном суперинтуиционистском исчислении высказываний
Д.П. Скворцов (1985)
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.
Displaying similar documents to “О понятиях 'все' и 'каждый'”
Об одном суперинтуиционистском исчислении высказываний
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.
А.Д. Яшин (2002)
Algebra i Logika
Similarity:
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
А.В. Чагров (1992)
Algebra i Logika
Similarity:
Промежуточная предикатная логика без свойств Бета.
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)
Algebra i Logika
Similarity:
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
В редакцию 'Алгебры и логики'
А. Гладкий (1967)
Algebra i Logika
Similarity:
Содержание томов 21-30
([unknown])
Algebra i Logika
Similarity:
Содержание томов 11-20
([unknown])
Algebra i Logika
Similarity:
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Наименьшие неподвижные точки в логике Гёделя-Леба
С.И. Мардаев (1993)
Algebra i Logika
Similarity:
Независимые базисы для правил, допустимых в предтабличных логиках
В.В. Рыбаков, В.Р. Кияткин, М. Терзилер (2000)
Algebra i Logika
Similarity:
Урввнения в свободной топобулевой алгебре.
В.В. Рыбаков (1986)
Algebra i Logika
Similarity:
О сложности вывода в грамматиках непосредственно составляющих
А.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii (1964)
Algebra i Logika
Similarity:
О сходимости позитивных схем S4 и Int
С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1994)
Algebra i Logika
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
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:
Об исчислении строгой импликации.
Л.Л. Максимова (1968)
Algebra i Logika
Similarity:
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1996)
Algebra i Logika
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
Об алгебраической семантике для суперинтуиционистских предикатных логик.
Д.Е. Тишковский, D.E. Tiškovskij, D.E. Tiškovskij, D.E. Tiškovskij (1999)
Algebra i Logika
Similarity: