Интерполяционное свойство и суперинтуиционистские предикатные логики
Д.Е. Тишковский (1998)
Sibirskij matematiceskij zurnal
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 “Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.”
Интерполяционное свойство и суперинтуиционистские предикатные логики
Новая регулярная константа в интуиционистской логике высказываний
А.Д. Яшин (1996)
Sibirskij matematiceskij zurnal
Similarity:
Допустимые правила для логик, включающих S4.3.
В.В. Рыбаков (1984)
Sibirskij matematiceskij zurnal
Similarity:
Явные определения неявно определимых объектов в некоторых модальных логиках.
Л.Л. Максимова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Критерии полноты систем функций на конечном кольце и квазифробениусовы кольца
А.А. Нечаев (1983)
Sibirskij matematiceskij zurnal
Similarity:
О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость и продолжение конструктивизаций.
К.Ж. Кудайбергенов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Монокомпозиционные алгебры
А.Т. Гайнов (1969)
Sibirskij matematiceskij zurnal
Similarity:
О некоторых тождественных соотношениях в алгебрах
А.И. Ширшов (1966)
Sibirskij matematiceskij zurnal
Similarity:
Об одной недетерминированной программной логике
И.Х. Мусикаев (1986)
Sibirskij matematiceskij zurnal
Similarity:
Полусопряженные функторы и расширения Кана
М.Я. Медведев (1974)
Sibirskij matematiceskij zurnal
Similarity: