Results 21 to 30 of about 108 (66)
Dualities and Dual Pairs in Heyting Algebras [PDF]
, 2018 We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial ...
Foniok, Jan +3 more
core
Implicative algebras and Heyting algebras can be residuated lattices [PDF]
, 2017 The commutative residuated lattices were first introduced by M. Ward and R.P. Dilworth as generalization of ideal lattices of rings. Complete studies on residuated lattices were developed by H. Ono, T. Kowalski, P. Jipsen and C. Tsinakis.
Merdach, Huda H., Samir, Basim
core +1 more source
The intuitionistic-like logic based on a poset
, 2023 The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset.
Chajda, Ivan, Länger, Helmut
core
Grzegorczyk Algebras Revisited [PDF]
, 2018 We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.The work was supported by the Polish National Science Centre grant no.
Stronkowski, Michał M.
core +1 more source
, 1995 summary:Some aspects of extended frames are studied, namely, the behaviour of ideals, covers, admissible systems of covers and ...
Picado, Jorge
core
Intuitionistic-like unsharp implication and negation defined on a poset [PDF]
summary:The aim of the present paper is to show that the concepts of the intuitionistic implication and negation formalized by means of a Heyting algebra can be generalized in such a way that these concepts are formalized by means of a bounded poset.
Chajda, Ivan, Länger, Helmut
core +1 more source
A solution to the MV-spectrum Problem in size aleph one
, 2023 Denote by Id$_c G$ the lattice of all principal $\ell$-ideals of an Abelian $\ell$-group $G$. Our main result is the following. Theorem. For every countable Abelian $\ell$-group $G$, every countable completely normal distributive 0-lattice $L,$ and ...
Ploscica, Miroslav, Wehrung, Friedrich
core
Weil uniformities for frames [PDF]
, 1995 summary:In pointfree topology, the notion of uniformity in the form of a system of covers was introduced by J. Isbell in [11], and later developed by A. Pultr in [14] and [15]. Another equivalent notion of locale uniformity was given by P. Fletcher and W.
Picado, Jorge
core
Gaps and dualities in Heyting categories [PDF]
, 2007 summary:We present an algebraic treatment of the correspondence of gaps and dualities in partial ordered classes induced by the morphism structures of certain categories which we call Heyting (such are for instance all cartesian closed categories, but ...
Nešetřil, J., Pultr, A., Tardif, C.
core
Heyting frames and Esakia duality
, 2023 We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting algebras.
Bezhanishvili, Guram +2 more
core