2000 character limit reached
Bounded distributive lattices with strict implication and weak difference
Published 18 Dec 2023 in math.LO and math.CT | (2312.10873v1)
Abstract: In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality for WHB-algebras. Finally, as an application of the duality, we build the tense extension of a WHB-algebra and we 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.
- Balbes R. and Dwinger P.: Distributive Lattices . University of Missouri Press (1974).
- Bou F.: Implicación estricta y lógicas subintucionistas. Tesis de MaestrÃa, Universitat de Barcelona (2001).
- Burris S. and Sankappanavar H.P: A course in universal algebra. The millennium Edition
- Celani S. and Jansana R.: A clooser look at some subintutionistic logics. Notre Dame Journal of Formal Logic. Vol 42 (4), (2001).
- Priestley H.A.: Representation of bounded distributive lattice by means of orderer Stone spaces. Bulletin London Math. Soc. 2, 186–190 (1970).
- Restall G.: Subintuitionistic logics, Notre Dame J. Form. Log. 35 (1) (1994) Winter.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.