Comparison of the topological and relational semantics of superintuitionistic logics

Let some condition \(\Omega\) single out the class \(T\Omega\) from all (topological) spaces, and posets satisfying this condition form a subclass T'\(\Omega\) \(\subseteq T\Omega\). Topological and relational semantics are \(\Omega\)-equivalent provided, for any (superintuitionistic) logic L, L is determined by spaces from \(T\Omega\) iff this is done by posets from T'\(\Omega\). Condition \(\Omega\) is stronger than condition \(\Omega\) ' \((\Omega \to \Omega ')\) if every logic is determined by spaces from the class \(T\Omega\) ' every time it is determined by spaces from the class \(T\Omega\). Different \(\Omega\) conditions are considered based on the concept of space width. Space width is the supremum of cardinalities of independent families of open sets in this space (the family \(\{X_ i\}_{i\in {\mathcal I}})\) is independent if \((\forall i\in {\mathcal I})(\cap(X_ j| j\neq i)\not\subseteq X_ i)).\) Let the conditions \(\Omega_ n (n<\omega)\), \(\Omega_{fws}\), \(\Omega_{ts}\) and \(\Omega_{\omega}\) single out spaces of width \(\leq n\), finite width spaces, spaces lacking any infinite independent family (tight spaces) and spaces of width \(\leq \omega\), respectively. It is proved that \(\Omega_ 1\to \Omega_ 2\to...\to \Omega_{fws}\to \Omega_{ts}\to \Omega_{\omega}\) and converses of the arrows are impossible; topological and relational semantics are \(\Omega_ n\), \(\Omega_{fws}\), \(\Omega_{ts}\)-equivalent. The question of the \(\Omega_{\omega}\)- equivalence of these semantics remains open.

Recommendations

Cites work

Cited in

(1)

Synthesis of sup-interpretations: a survey

This page was built for publication: Comparison of the topological and relational semantics of superintuitionistic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795828)