Verisimilitude via Vietoris

DOI10.1093/logcom/2.6.709zbMath0774.03010OpenAlexW1973244266MaRDI QIDQ5286913

J. J. C. Vermeulen, Chris Brink, J. P. G. Pretorius

Publication date: 17 November 1993

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.6.709

zbMATH Keywords

Vietoris topologypowerdomainsStone spacetruthlikenessverisimilitudedenotational semantics of programming languagespower structuresEgli-Milner orderinglogic of finite observationshyperspaces of domainsverisimilar ordering of theories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Models of other mathematical theories (03C65) Other applications of logic (03B80)

Related Items (1)

Computing verisimilitude

This page was built for publication: Verisimilitude via Vietoris