EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
06-XX Order, lattices, ordered algebraic structures
06Dxx Distributive lattices
06D20 Heyting algebras

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 9 of 9

$ϰ$ -Lindelöf locales and their spatial parts

P. B. Johnson (1991)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Вложения импликатных решеток и суперинтуиционистские логики

С.И. Мардаев (1987)

Algebra i Logika

Магариевы и $94$ -псевдобулевы алгебры.

А.Ю. Муравицкий (1990)

Sibirskij matematiceskij zurnal

Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств

М.П. Тропин (1988)

Algebra i Logika

О конечных псевдобулевых и топобулевых алгебрах, не имеющих независимого базиса квазитождества

М.П. Тропин (1988)

Algebra i Logika

Об одном дискриминаторном многообразии алгебр Гейтинга с инволюцией.

В.Ю. Месхи (1982)

Algebra i Logika

Проективные свойства Бета в модальных и суперинтуиционистских логиках.

Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)

Algebra i Logika

Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр

Л.Л. Максимова (2001)

Algebra i Logika

Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр

А.И. Циткин (1987)

Matematiceskie issledovanija

Currently displaying 1 – 9 of 9

Page 1