Entailment systems for stably locally compact locales
type: Item
instance of: scholarly article
title: Entailment systems for stably locally compact locales
zbMATH Open document ID: 1047.06007
author: Steven Vickers
published in: Theoretical Computer Science
publication date: 2004-08-04T00:00:00Z
full work available at URL: StabCompEnt.pdf
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54D45
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 54B30
zbMATH DE Number: 2081192
zbMATH Keywords: Locale
zbMATH Keywords: Stably compact
zbMATH Keywords: Stably locally compact
zbMATH Keywords: Information system
zbMATH Keywords: Multilingual sequent calculus
zbMATH Keywords: Constructivism
MaRDI profile type: Publication
OpenAlex ID: W1992352035
cites work: Domain theory in logical form
cites work: Quantales, observational logic and process semantics
cites work: Stably continuous frames
cites work: Q4944905
cites work: The regular-locally compact coreflection of a stably locally compact locale
cites work: Q3965241
cites work: Q3322276
cites work: Q4828514
cites work: Q3978977
cites work: Q4265614
cites work: Stably Compact Spaces and Closed Relations
cites work: Q4373424
cites work: Continuous domains in logical form
cites work: Q4411825
cites work: Q3959414
cites work: Effectively given domains
cites work: Stable Compactification I
cites work: Localic Priestley duality
cites work: Q3994458
cites work: Information systems for continuous posets
cites work: Constructive points of powerlocales
cites work: Topical categories of domains
cites work: A universal characterization of the double powerlocale
DOI: 10.1016/J.TCS.2004.01.033
description: scientific article; zbMATH DE number 2081192