Entailment systems for stably locally compact locales

DOI10.1016/J.TCS.2004.01.033MaRDI QIDQ1434362zbMATH OpenOpenAlexFDO

Authors 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

ConstructivismInformation systemLocaleMultilingual sequent calculusStably compactStably locally compact

Mathematics Subject Classification ID

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

Recommendations

• A Cartesian closed extension of the category of locales
• scientific article; zbMATH DE number 1670483
• Presenting de Groot duality of stably compact spaces
• Stably compact spaces and closed relations
• Locales as spectral spaces

Cites work

• A universal characterization of the double powerlocale
• Constructive points of powerlocales
• Continuous domains in logical form
• Domain theory in logical form
• Effectively given domains
• scientific article; zbMATH DE number 3853324 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• scientific article; zbMATH DE number 1107502 (Why is no real title available?)
• scientific article; zbMATH DE number 1948164 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• Information systems for continuous posets
• Localic Priestley duality
• Quantales, observational logic and process semantics
• Stable Compactification I
• Stably compact spaces and closed relations
• Stably continuous frames
• The regular-locally compact coreflection of a stably locally compact locale
• Topical categories of domains

Cited in

(12)

• Stably locally compact locales are dual to continuous posets
• A logic for Lawson compact algebraic L-domains
• Continuous L-domains in logical form
• Presenting de Groot duality of stably compact spaces
• State BCK-algebras and state-morphism BCK-algebras.
• Compactness in locales and in formal topology
• Local collection and end-extensions of models of compositional truth
• scientific article; zbMATH DE number 1670483 (Why is no real title available?)
• Predicative theories of continuous lattices
• Consistent disjunctive sequent calculi and Scott domains
• Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
• Predicative presentations of stably locally compact locales

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434362)