Zobrazeno 1 - 10
of 1 005
pro vyhledávání: '"Heyting algebra"'
Publikováno v:
Transactions on Fuzzy Sets and Systems, Vol 2, Iss 2, Pp 77-112 (2023)
Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of wh
Externí odkaz:
https://doaj.org/article/8da6909cf1a24658bec3e28c1b789473
Autor:
Minghui Ma, Juntong Guo
Publikováno v:
Mathematics, Vol 12, Iss 1, p 146 (2024)
We introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive. We show the discrete dualities betwe
Externí odkaz:
https://doaj.org/article/54ac28fff79d47908ae6eaa86c0f6e1b
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Citkin, Alex, author, Muravitsky, Alexei, author
Publikováno v:
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780192866417.003.0009
Autor:
Citkin, Alex, author, Muravitsky, Alexei, author
Publikováno v:
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780192866417.003.0007
Autor:
Citkin, Alex, author, Muravitsky, Alexei, author
Publikováno v:
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method, 2022, ill.
Externí odkaz:
https://doi.org/10.1093/oso/9780192866417.003.0006
Autor:
Citkin, Alex, author, Muravitsky, Alexei, author
Publikováno v:
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780192866417.003.0008
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.