Infinitary propositional relevant languages with absurdity [article]

Guillermo Badia
2018 arXiv   pre-print
Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic L_∞ω holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant
more » ... directed bisimulation as well as a Beth definability property.
arXiv:1809.08153v1 fatcat:2qbrfh7i5zhdfjbr4viroz5zta