Continuous Domains and their Information System Representation as Logical Systems

DOI10.1016/S1571-0661(04)80543-7zbMath1261.68083OpenAlexW1992013715MaRDI QIDQ4916204

Ivanosca Andrade da Silva, Benjamín René Callejas Bedregal

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80543-7

zbMATH Keywords

modelsdomain theoryconsequence relationslogical systemscontinuous information systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (1)

Re-visiting axioms of information systems

Cites Work

• Domain theory in logical form
• Continuous information systems
• Factorisation systems on domains
• Some applications of topology to program semantics
• Logic of plotkin continuous domain
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuous Domains and their Information System Representation as Logical Systems