EuDML | Browse

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

Subjects
03-XX Mathematical logic and foundations
03Gxx Algebraic logic

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 Next

Displaying 1 – 20 of 73

...-... Algebras.

Aldo V. Figallo (1983)

Revista colombiana de matematicas

$\nabla$ -model and distributivity in Boolean algebras

Lev Bukovský (1968)

Commentationes Mathematicae Universitatis Carolinae

$\forall_{n}$ -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

Булевы $d e l t a$ -алгебры и квазиоткрытые отображения.

В.В. Федорчук (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