We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY.
- Authors
BADIA, GUILLERMO
- Abstract
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 directed bisimulation as well as a Beth definability property.
- Subjects
ISOMORPHISM (Mathematics); INTERPOLATION; MODEL theory; BISIMULATION; DEFINABILITY theory (Mathematical logic)
- Publication
Review of Symbolic Logic, 2017, Vol 10, Issue 4, p663
- ISSN
1755-0203
- Publication type
Article
- DOI
10.1017/S1755020317000132