A Kripke semantics for the logic of Gelfand quantales
From MaRDI portal
Publication:5954708
DOI10.1023/A:1012495106338zbMath0992.03080OpenAlexW1529894088MaRDI QIDQ5954708
Gerard Allwein, Wendy MacCaull
Publication date: 5 February 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1012495106338
complete latticesframesKripke semanticsGelfand logicGelfand quantaleslattice representationssemantic tableau
Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Representation theory of lattices (06B15) Quantales (06F07)
Related Items (7)
Three roads to complete lattices: orders, compatibility, polarity ⋮ B-frame duality ⋮ Distributive contact lattices: topological representations ⋮ A semantic hierarchy for intuitionistic logic ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ Gentzen-type calculi for involutive quantales ⋮ Some useful 16-valued logics: How a computer network should think
This page was built for publication: A Kripke semantics for the logic of Gelfand quantales
