Epimorphism surjectivity in varieties of Heyting algebras

DOI10.1016/j.apal.2020.102824zbMath1457.03055arXiv1908.00287OpenAlexW3024376367MaRDI QIDQ2195632

J. J. Wannenburg, Tommaso Moraschini

Publication date: 27 August 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.00287

zbMATH Keywords

Heyting algebraintuitionistic logicintermediate logicepimorphismEsakia spaceBeth definability

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Intermediate logics (03B55) Abstract algebraic logic (03G27)

Related Items (max. 100)

Semilinear De Morgan monoids and epimorphisms ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• Profinite Heyting algebras
• Update to ``A survey of abstract algebraic logic
• Cylindric algebras. Part II
• Algebraic characterizations of various Beth definability properties
• Intuitionistic logic and implicit definability
• On the structure of varieties with equationally definable principal congruences. I
• Epimorphisms, definability and cardinalities
• On prevarieties of logic
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• A propositional calculus with denumerable matrix
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Algebraizable logics
• On formulas of one variable in intuitionistic propositional calculus
• Model Theory of Epimorphisms
• Ordered Topological Spaces and the Representation of Distributive Lattices
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Idempotent residuated structures: Some category equivalences and their applications
• Easkia Duality and Its Extensions
• Algebras Whose Congruence Lattices are Distributive.
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Epimorphism surjectivity in varieties of Heyting algebras