A relational semantics for the logic of bounded lattices

DOI10.21136/MB.2018.0126-17zbMath1467.03033OpenAlexW2891154132WikidataQ58887355 ScholiaQ58887355MaRDI QIDQ5227167

Luciano J. González

Publication date: 5 August 2019

Published in: Mathematica Bohemica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21136/mb.2018.0126-17

zbMATH Keywords

relational semanticspolaritylogic of bounded latticetwo-sorted frame

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized Kripke frames
• A topological representation of lattices
• A topological representation theory for lattices
• Four-valued logic
• A survey of abstract algebraic logic
• Kripke semantics for modal substructural logics
• \(\Delta_1\)-completions of a poset.
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Kripke models for linear logic
• Relational semantics and a relational proof system for full Lambek calculus
• Bounded distributive lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: A relational semantics for the logic of bounded lattices