2025/04/16 by Dieter Spreen, Spreen, Dieter
Computer Science · #03B70 06B15 06B35 68Q55 #Advanced Algebra and Logic #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.2504.12182
openalex publication_date 2025/04/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In \citesp25, continuous information frames were introduced that capture exactly all continuous domains. They are obtained from the information frames considered in \citesp21 by omitting the conservativity requirement. Information frames generalise Scott's information systems~\citesc82: Instead of the global consistency predicate, there is now a local consistency predicate for each token. Strong information frames are obtained by strengthening the conditions for these predicates. Let \CIF and \SIF be the corresponding categories. In \citesxx08 another generalisation of Scott's information systems was introduced which also exactly captures all continuous domains. As shown in \citehzl15, the definition can be simplified while maintaining the representation result. Let \CIS and \SCIS be the corresponding categories. It is shown that all these categories are equivalent. Moreover, the equivalence extends to the subcategories of (strong) continuous information frames with truth elements. Such information frames capture exactly all pointed continuous domains. Continuous information frames are families of rudimentary logics, associated with each token is a local consistency predicate and an entailment relation. However, they lack the expressive power of propositional logic. In an attempt to make each of this logics more expressible, continuous stratified conjunctive logics are introduced. These are families of conjunctive logics. The category \CSL of such logics is shown to be isomorphic to \SIF\bt, the category of strong continuous information frames with a truth element.