Entailment systems for stably locally compact locales

DOI10.1016/j.tcs.2004.01.033zbMath1047.06007OpenAlexW1992352035MaRDI QIDQ1434362

Steven Vickers

Publication date: 4 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/2919664/StabCompEnt.pdf

zbMATH Keywords

Information systemConstructivismLocaleMultilingual sequent calculusStably compactStably locally compact

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical methods in general topology (54B30) Frames, locales (06D22) Local compactness, (sigma)-compactness (54D45) Intuitionistic mathematics (03F55)

Related Items (9)

Consistent disjunctive sequent calculi and Scott domains ⋮ Presenting de Groot duality of stably compact spaces ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Unnamed Item ⋮ Stably locally compact locales are dual to continuous posets ⋮ A logic for Lawson compact algebraic L-domains ⋮ Continuous L-domains in logical form ⋮ Compactness in locales and in formal topology ⋮ State BCK-algebras and state-morphism BCK-algebras.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Localic Priestley duality
• Effectively given domains
• Domain theory in logical form
• A universal characterization of the double powerlocale
• Information systems for continuous posets
• Continuous domains in logical form
• Stably continuous frames
• Stable Compactification I
• Quantales, observational logic and process semantics
• Constructive points of powerlocales
• Topical categories of domains
• Stably Compact Spaces and Closed Relations
• The regular-locally compact coreflection of a stably locally compact locale

This page was built for publication: Entailment systems for stably locally compact locales