Non-deterministic information systems and their domains
Theoretical Computer Science
Logic of domains
Multi lingual sequent calculus and coherent spaces
Fundamenta Informaticae
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Disjunctive Systems and L-Domains
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
| Hi-index | 0.00 |
Entailment relations, originated from Scott, have been used for describing mathematical concepts constructively and for representing categories of domains. This paper gives an analysis of the freely generated frames from entailment relations. This way, we obtain completeness results under the unifying principle of the spatiality of coherence logic. In particular, the domain of disjunctive states, derived from the hyperresolution rule as used in disjunctive logic programs, can be seen as the frame freely generated from the opposite of a sequent structure. At the categorical level, we present equivalences among the categories of sequent structures, distributive lattices, and spectral locales using appropriate morphisms.