...-... Algebras.
Page 1 Next
Displaying 1 – 20 of 73
-model and distributivity in Boolean algebras
Lev Bukovský (1968)
Commentationes Mathematicae Universitatis Carolinae
-theories of Boolean algebras
Jan Waszkiewicz (1974)
Colloquium Mathematicae
"Abstract logics" and "Classical abstract logics" [Book]
D. J. Brown, R. Suszko, S. L. Bloom, D. J. Brown (1973)
“Hidden variables” on concrete logics (extensions)
Pavel Pták (1987)
Commentationes Mathematicae Universitatis Carolinae
�?lgebras de Hilbert n-valentes
Monteiro, Luiz (1977)
Portugaliae mathematica
-filters and -order-ideals in distributive quasicomplemented semilattices
Ismael Calomino, Sergio A. Celani (2021)
Commentationes Mathematicae Universitatis Carolinae
We introduce some particular classes of filters and order-ideals in distributive semilattices, called -filters and -order-ideals, respectively. In particular, we study -filters and -order-ideals in distributive quasicomplemented semilattices. We also characterize the filters-congruence-cokernels in distributive quasicomplemented semilattices through -order-ideals.
Алгебра Линденбаума-Тарского булевых алгебр с выделенным идеаломи
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1995)
Algebra i Logika
Алгебра Линденбаума-Тарского класса булевых алгебр с одним выделенным идеалом
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1994)
Algebra i Logika
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Д.Е. Тишковский (2001)
Algebra i Logika
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
А.Ю. Муравицкий (1986)
Matematiceskij sbornik
Атомные булевы логики
В.В. Калинин (1976)
Verojatnostnye metody i kibernetika
Базисы допустимых правил вывода табличных модальных логик глубины 2.
В.В. Римацкий, V. V. Rimackij, V. V. Rimackij, V. V. Rimackij (1996)
Algebra i Logika
Базы допустимых правил логик S4 и Int
В.В. Рыбаков (1985)
Algebra i Logika
Булевозначные алгебры
В.Н. Салий (1973)
Matematiceskij sbornik
Булевы -алгебры и квазиоткрытые отображения.
В.В. Федорчук (1973)
Sibirskij matematiceskij zurnal
Булевы модели и некоторые их применения
В.В. Пашенков (1975)
Matematiceskij sbornik
Вложения импликатных решеток и суперинтуиционистские логики
С.И. Мардаев (1987)
Algebra i Logika
Вычисление булевых функций на машинах Тьюринга
Н.Н. Нурмеев (1976)
Verojatnostnye metody i kibernetika
Допустимые правила для логик, включающих S4.3.
В.В. Рыбаков (1984)
Sibirskij matematiceskij zurnal
Currently displaying 1 – 20 of 73
Page 1 Next