scientific article; zbMATH DE number 1339952
From MaRDI portal
Publication:4265614
zbMath0935.68068MaRDI QIDQ4265614
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Consistent disjunctive sequent calculi and Scott domains ⋮ A logical approach to stable domains ⋮ Presenting de Groot duality of stably compact spaces ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Unnamed Item ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ Representations of stably continuous semi-lattices by information systems and abstract bases ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Entailment systems for stably locally compact locales ⋮ A logic for Lawson compact algebraic L-domains ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Stably Compact Spaces and Closed Relations ⋮ Continuous L-domains in logical form ⋮ A representation of proper BC domains based on conjunctive sequent calculi ⋮ Bounded complete domains and their logical form
This page was built for publication: