Bounded distributive lattices with strict implication and weak difference

DOI10.1007/S00153-024-00945-2MaRDI QIDQ6989531zbMATH OpenFDO

Authors Sergio A. Celani, Agustín L. Nagy, Botero William Zuluaga

Publication date 30 April 2025

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00153-024-00945-2

zbMATH Keywords

Priestley dualitystrict implicationweak difference

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Review text

In this paper, the authors introduce the class of weak Heyting-Brouwer algebras (WHB-algebras, for short). They extend Priestley duality on distributive lattices to exhibit a relational Priestley-like duality for WHB-algebras. As an application of the duality, they build the tense extension of a WHB-algebra and employ it as a tool for proving structural properties of the variety such as the finite model property, the amalgamation property, the congruence extension property and the Maehara interpolation property.

Cites work

• A closer look at some subintuitionistic logics
• A propositional logic with explicit fixed points
• Amalgamation and interpolation in normal modal logics
• Amalgamation and interpolation in ordered algebras.
• Basic Propositional Calculus I
• Basic propositional calculus. II: Interpolation
• Bounded distributive lattices with strict implication
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1416396 (Why is no real title available?)
• scientific article; zbMATH DE number 7650841 (Why is no real title available?)
• Logics Which Are Characterized by Subresiduated Lattices
• Model theory.
• On logics with coimplication
• Remarks on Priestley duality for distributive lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Speaking about transitive frames in propositional languages
• Subintuitionistic logics
• Universal algebra. Fundamentals and selected topics
• Weak Logics with Strict Implication

Cited in

(1)

• Algebraic semantics for weak subintuitionistic logic WF

This page was built for publication: Bounded distributive lattices with strict implication and weak difference

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