Epimorphisms in varieties of residuated structures

DOI10.1016/J.JALGEBRA.2017.08.023MaRDI QIDQ2411405zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Tommaso Moraschini, J. G. Raftery

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, http://hdl.handle.net/2263/62981

Beth definability Brouwerian algebra epimorphism Esakia space Heyting algebra intuitionistic logic R-mingle relevance logic residuated lattice substructural logic Sugihara monoid

Mathematics Subject Classification ID

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

Abstract: It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructural logics. On the other hand, it is shown that epimorphisms need not be surjective in a locally finite variety of Heyting or Brouwerian algebras of width 2. It follows that the infinite Beth property is strictly stronger than the so-called finite Beth property, confirming a conjecture of Blok and Hoogland.

Recommendations

Cites work

Cited in

(21)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2411405)