Pages that link to "Item:Q5954708"
From MaRDI portal
The following pages link to A Kripke semantics for the logic of Gelfand quantales (Q5954708):
Displaying 8 items.
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- B-frame duality (Q2689804) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)
