Copertina

Colimits of Heyting Algebras through Esakia Duality

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Almeida, Rodrigo Nicolau
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Rings and Algebras 08B20, 03B20, 06D20
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Degree of Satisfiability in Heyting Algebras
di: Bumpus, Benjamin Merlin, et al.
Pubblicazione: (2021)

Connexive logics and connexive semi-Heyting algebras
di: Cornejo, Juan M., et al.
Pubblicazione: (2025)

Free algebras and coproducts in varieties of Gödel algebras
di: Carai, Luca
Pubblicazione: (2024)

Definability of band structures on posets
di: Kuperman, Joel, et al.
Pubblicazione: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

Failure of the Blok-Esakia Theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
di: Sankappanavar, Hanamantagouda P.
Pubblicazione: (2025)

Intuitionistic Sahlqvist theory for deductive systems
di: Fornasiere, Damiano, et al.
Pubblicazione: (2022)

Minimal operations over permutation groups
di: Marimon, Paolo, et al.
Pubblicazione: (2024)

Intuitionism and computing with partial information
di: Ganchev, Hristo, et al.
Pubblicazione: (2026)

Apartness relations between propositions
di: Kocsis, Zoltan A.
Pubblicazione: (2022)

Failure of Esakia's theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

An explicit Kuznetsov-Muravitsky enrichment
di: Jibladze, Mamuka, et al.
Pubblicazione: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
di: Shapirovsky, Ilya B., et al.
Pubblicazione: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
di: Sankappanavar, Hanamantagouda P.
Pubblicazione: (2025)

Implications in pseudocomplemented and Stone lattices
di: Chajda, Ivan, et al.
Pubblicazione: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

L-algebras and their ideals: from simplicity to semidirect products
di: Properzi, Silvia, et al.
Pubblicazione: (2025)

Epimorphisms between finitely generated algebras
di: Carai, Luca, et al.
Pubblicazione: (2024)

Esakia order-compactifications and locally Esakia spaces
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)

The structure of rough sets defined by reflexive relations
di: Järvinen, Jouni, et al.
Pubblicazione: (2024)

Kleene and Stone algebras of rough sets induced by reflexive relations
di: Järvinen, Jouni, et al.
Pubblicazione: (2026)

On actions and split extensions in varieties of hoops: the case of strong section
di: Mancini, Manuel, et al.
Pubblicazione: (2025)

Infinite Atomized Semilattices
di: Martin-Maroto, Fernando, et al.
Pubblicazione: (2023)

Preconditionals
di: Holliday, Wesley H.
Pubblicazione: (2024)

Arithmetic and $k$-maximality of the cyclic free magma
di: Cardó, Carles
Pubblicazione: (2024)

The prime spectrum of an $L$-algebra
di: Rump, W., et al.
Pubblicazione: (2022)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Quasivarieties of p-algebras: some new results
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

Free Left Distributive Algebras and a Canonical Extension
di: Cramer, Scott, et al.
Pubblicazione: (2026)

Generalizations of The Finite Height Criterion for Local Tabularity
di: Shapirovsky, Ilya B.
Pubblicazione: (2025)

On some algebraic properties of Plonka sums and regularized varieties
di: Bonzio, S., et al.
Pubblicazione: (2026)

Varieties of MV-monoids and positive MV-algebras
di: Abbadini, Marco, et al.
Pubblicazione: (2024)

Modal group theory: homomorphisms
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

The Construction Principle and superstability of free objects in varieties of algebras
di: Hyttinen, Tapani, et al.
Pubblicazione: (2026)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
di: Koshkin, Sergiy
Pubblicazione: (2024)

A free two-generated left distributive algebra of elementary embeddings
di: Brooke-Taylor, Andrew D., et al.
Pubblicazione: (2025)

On homomorphic images of ultraproducts
di: Corson, Samuel M.
Pubblicazione: (2025)

Semilinear idempotent distributive l-monoids
di: Santschi, Simon
Pubblicazione: (2022)