1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Domains, Information Frames, and Their Logic
Dieter Spreen
In \cite{sp25}, continuous information frames were introduced that capture exactly all continuous domains. They are obtained from the information frames considered in \cite{sp21} b…
cs.LO2025★ 1 cited
Domains, Information Frames, Rough Sets: An Equivalence of Categories
Dieter Spreen
A generalization of Scott's information systems~\cite{sco82} is presented that captures exactly all continuous domains. The global consistency predicate in Scott's definition is re…