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)
