Zobrazeno 1 - 10
of 1 004
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
Publikováno v:
AIMS Mathematics, Vol 6, Iss 11, Pp 11950-11973 (2021)
In this paper, we define the notions of intuitionistic fuzzy filters and intuitionistic fuzzy implicative (positive implicative, fantastic) filters on hoops. Then we show that all intuitionistic fuzzy filters make a bounded distributive lattice. Also
Externí odkaz:
https://doaj.org/article/e4327a155d5a4ca0ab8aff482456de42