Epimorphisms in varieties of residuated structures

DOI10.1016/j.jalgebra.2017.08.023zbMath1423.03064arXiv2107.05912OpenAlexW2755711091MaRDI QIDQ2411405

James G. Raftery, Tommaso Moraschini, Guram Bezhanishvili

Publication date: 20 October 2017

Published in: Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

substructural logicHeyting algebraintuitionistic logicrelevance logicresiduated latticeepimorphismEsakia spaceBeth definabilityBrouwerian algebraSugihara monoidR-mingle

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55)

Related Items (14)

A computational glimpse at the Leibniz and Frege hierarchies ⋮ A frame-theoretic perspective on Esakia duality ⋮ Proof theory for positive logic with weak negation ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Singly generated quasivarieties and residuated structures ⋮ 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 ⋮ DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS ⋮ Epimorphisms, definability and cardinalities ⋮ On semiconic idempotent commutative residuated lattices ⋮ Beth Definability in the Logic KR ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work

• 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
• Profinite completions and canonical extensions of Heyting algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Profinite Heyting algebras
• Positive Sugihara monoids
• Update to ``A survey of abstract algebraic logic
• Cylindric algebras. Part II
• Structural completeness of Gödel's and Dummett's propositional calculi
• Metamathematics of fuzzy logic
• Algebraic characterizations of various Beth definability properties
• Intuitionistic logic and implicit definability
• A category equivalence for odd Sugihara monoids and its applications
• Varieties of monadic Heyting algebras. III
• Pretabular superintuitionistic logic
• The Beth property in algebraic logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Kripke models and intermediate logics
• Amalgamation, congruence-extension, and interpolation properties in algebras
• The intersection property of amalgamations
• Craig interpolation for semilinear substructural logics
• A propositional calculus with denumerable matrix
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Algebraizable logics
• The Variety of Modular Lattices is Not Generated by its Finite Members
• Idempotent residuated structures: Some category equivalences and their applications
• Substructural fuzzy logics
• Algebras Whose Congruence Lattices are Distributive.
• Epimorphisms and Dominions, III
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Protoalgebraic logics

This page was built for publication: Epimorphisms in varieties of residuated structures