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

Previous Page 33 Next

Displaying 641 – 660 of 710

Weakly projectable and projectable W-algebras.

Francesc Tiñena i Salvaña (1986)

Stochastica

In this paper we introduce and study the weakly projectable and projectable W-algebras and we review the Representation Theorem of [1].

What the finitization problem is not

A. Simon (1993)

Banach Center Publications

Zur Grundlegung der Boole'schen Algebra. I

Alfred Tarski (1935)

Fundamenta Mathematicae

$α$ -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

Изоморфные подалгебры вероятностных булевых алгебр

Д.А. Владимиров (1992)

Zapiski naucnych seminarov POMI

Инвариантные меры на булевых алгебрах и функции размерности на логиках

В.В. Калинин (1980)

Verojatnostnye metody i kibernetika

Инварианты квазиклеток итеративных алгебр Поста.

И.А. Мальцев (1985)

Sibirskij matematiceskij zurnal

Currently displaying 641 – 660 of 710

Previous Page 33 Next