Об исчислении строгой импликации.
Л.Л. Максимова (1968)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “О системе аксиом исчисления строгой импликации”
Об исчислении строгой импликации.
О моделях исчисления E
Л.Л. Максимова (1967)
Algebra i Logika
Similarity:
Принцип разделения переменных в пропозициональных логиках
Л.Л. Максимова (1976)
Algebra i Logika
Similarity:
Структуры с импликацией.
Л.Л. Максимова (1973)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова (1980)
Algebra i Logika
Similarity:
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Л.Л. Максимова, L. L. Maksimova, L. L. Maksimova, L. L. Maksimova (1997)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Ограниченная интерполяция и проективное свойство Бета в эквациональной логике
Л.Л. Максимова ([unknown])
Algebra i Logika
Similarity:
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity:
Об одном суперинтуиционистском исчислении высказываний
Д.П. Скворцов (1985)
Algebra i Logika
Similarity:
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Similarity:
Неявная определимость и позитивные логики
Л.Л. Максимова (2003)
Algebra i Logika
Similarity:
Об одной классификации модальных логик.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity:
Предтабличные расширения логики S4 Льюиса.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
Similarity: