A Kripke semantics for the logic of Gelfand quantales
From MaRDI portal
Publication:5954708
DOI10.1023/A:1012495106338zbMath0992.03080MaRDI QIDQ5954708
Gerard Allwein, Wendy MacCaull
Publication date: 5 February 2002
Published in: Studia Logica (Search for Journal in Brave)
complete lattices; frames; Kripke semantics; Gelfand logic; Gelfand quantales; lattice representations; semantic tableau
03B60: Other nonclassical logic
03G10: Logical aspects of lattices and related structures
06B23: Complete lattices, completions
06B15: Representation theory of lattices
06F07: Quantales
Related Items
Canonical extensions and relational completeness of some substructural logics, Some useful 16-valued logics: How a computer network should think, Distributive contact lattices: topological representations, A semantic hierarchy for intuitionistic logic, Gentzen-type calculi for involutive quantales