A logical approach to stable domains
From MaRDI portal
Publication:859843
DOI10.1016/j.tcs.2006.09.005zbMath1105.03026OpenAlexW2037794459MaRDI QIDQ859843
Publication date: 22 January 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.09.005
information systemdomain theory\(L\)-domaindisjunctive propositional logicdomain theory in logical form
Related Items (13)
\(\mathbb T^\omega\) as a stable universal domain. ⋮ Generalised information systems capture L-domains ⋮ Consistent disjunctive sequent calculi and Scott domains ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ A set-theoretic representation of algebraic L-domains ⋮ A stable universal domain related to ω ⋮ A logic for Lawson compact algebraic L-domains ⋮ On the largest Cartesian closed category of stable domains ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Continuous L-domains in logical form ⋮ A representation of proper BC domains based on conjunctive sequent calculi ⋮ Domain semantics of possibility computations ⋮ Bounded complete domains and their logical form
Cites Work
- Cartesian closed categories of algebraic cpos
- Partial Horn logic and Cartesian categories
- An algebraic approach to stable domains
- Domain theory in logical form
- Stable neighbourhoods
- \(dI\)--domains as prime information systems
- Full abstraction in the lazy lambda calculus
- Categories of embeddings
- Stone duality and representation of stable domain
- Untersuchungen über das logische Schliessen. I
- A domain equation for bisimulation
- Completion of a Construction of Johnstone
- Disjunctive systems and L-Domains
- Aspects of topoi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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: A logical approach to stable domains
