Disjunctive systems and L-Domains

DOI10.1007/3-540-55719-9_81MaRDI QIDQ5204324zbMATH OpenOpenAlexFDO

Authors

Publication date 4 December 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55719-9_81

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Special categories (18B99) Semantics in the theory of computing (68Q55)

Recommendations

• Irreducible disjoint covering systems (with an application to Boolean algebra)
• Disjunctive and conjunctive representations in finite lattices and convexity spaces
• Disjunctions in closure spaces
• scientific article; zbMATH DE number 5163096
• scientific article; zbMATH DE number 5039823
• Dicomplemented lattices. A contextual generalization of Boolean algebras
• scientific article; zbMATH DE number 1131173
• On the lattice of deductive systems of a residuated lattice
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• Disjunctions of Horn theories and their cores

Cites work

• A Powerdomain Construction
• A representation of SFP
• Cartesian closed categories of algebraic cpos
• Categories of embeddings
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3654118 (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 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• Linear logic
• Non-deterministic information systems and their domains
• The largest Cartesian closed category of domains

Cited in

(16)

• Stone duality and representation of stable domain
• Bounded complete domains and their logical form
• Representations of algebraic domains and algebraic L-domains by information systems
• A note on finitely derived information systems
• Representation of algebraic domains by formal association rule systems
• scientific article; zbMATH DE number 5163096 (Why is no real title available?)
• Consistent disjunctive sequent calculi and Scott domains
• A representation of proper BC domains based on conjunctive sequent calculi
• Various constructions of continuous information systems
• scientific article; zbMATH DE number 3274718 (Why is no real title available?)
• A note on information systems for continuous semi-lattices
• A representation of Lawson compact L-domains by information systems
• A logical representation of L-domains satisfying property \textbf{M}
• Generalised information systems capture L-domains
• A logical approach to stable domains
• A representation of L-domains by information systems

This page was built for publication: Disjunctive systems and L-Domains

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