Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.
А.Д. Яшин (2002)
Algebra i Logika
Similarity:
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:
Об L-эквивалентности систем функций в многозначных логиках
Ван Хоа Нгуен (1988)
Algebra i Logika
Similarity:
Цепные классы участочно-монотонных функций логики первой матрицы Яськовского
В.П. Малай (1987)
Matematiceskie issledovanija
Similarity:
Индуктивные представления булевых функций и конечная порождаемость классов Поста.
Г.П. Гаврилов (1984)
Algebra i Logika
Similarity:
К существованию конечных базисов в замкнутых классах булевых функций.
С.С. Марченков (1984)
Algebra i Logika
Similarity:
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)
Algebra i Logika
Similarity:
Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
Категоричные хорновы классы.I
Е.А. Палютин (1980)
Algebra i Logika
Similarity:
О суперпозициях функций алгебры логики
С.В. Яблонский (1952)
Matematiceskij sbornik
Similarity:
Наследственно конечно-аксиоматизируемые расширения логики S4
В.В. Рыбаков (1976)
Algebra i Logika
Similarity:
Нетабличность логики S4 по функциональной полноте.
М.Ф. Раца (1982)
Algebra i Logika
Similarity:
В редакцию 'Алгебры и логики'
А. Гладкий (1967)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Об одном суперинтуиционистском исчислении высказываний
Д.П. Скворцов (1985)
Algebra i Logika
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
А.В. Чагров (1992)
Algebra i Logika
Similarity:
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
С.В. Бабенышев (1993)
Algebra i Logika
Similarity:
Неразрешимые свойства расширений логики доказуемости. II
A.B. Чагров (1990)
Algebra i Logika
Similarity:
Многообразия логических матриц
А.В. Чагров (1985)
Algebra i Logika
Similarity:
Промежуточная предикатная логика без свойств Бета.
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity: