Generalised information systems capture L-domains

DOI10.1016/j.tcs.2020.12.044zbMath1502.68174arXiv1610.02260OpenAlexW2531098351MaRDI QIDQ831140

Dieter Spreen

Publication date: 10 May 2021

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

Full work available at URL: https://arxiv.org/abs/1610.02260

zbMATH Keywords

information systemcategorical equivalencedomain theoryconjunctive sequent calculidisjunctive propositional logicL-domain

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (4)

Information systems for continuous semi-lattices ⋮ A set-theoretic representation of algebraic L-domains ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ Bounded complete domains and their logical form

Cites Work

• Re-visiting axioms of information systems
• A logical approach to stable domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case
• Domain theory in logical form
• Continuous information systems
• Categories of embeddings
• A logic for Lawson compact algebraic L-domains
• Continuous Lattices and Domains
• Disjunctive systems and L-Domains
• A representation of proper BC domains based on conjunctive sequent calculi
• Information Systems with Witnesses: The Function Space Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalised information systems capture L-domains