Review of Symbolic Logic 10 (4):663-681 (2017)

Authors
Guillermo Badia
University of Queensland
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" for the infinitary quantificational boolean logic L-infinity omega. 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020317000132
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,199
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.

View all 38 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Herbrand and Skolem Theorems in Infinitary Languages.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.
Incompactness in Infinitary Languages with Respect to Boolean-Valued Interpretations.Attila Máté - 1971 - Szeged, University of Szeged Bolyai Mathematical Institute.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Infinitary Logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
From Finitary to Infinitary Second‐Order Logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
Large Infinitary Languages: Model Theory.M. A. Dickmann - 1975 - American Elsevier Pub. Co..
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Model Theory of Infinitary Languages.M. A. Dickmann - 1970 - [Aarhus, Denmark, Universitet, Matematisk Institut].
The Relevant Equivalence Property.Lloyd Humberstone & Robert Meyer - 2007 - Logic Journal of the IGPL 15 (2):165-181.

Analytics

Added to PP index
2018-01-18

Total views
18 ( #610,804 of 2,517,922 )

Recent downloads (6 months)
1 ( #409,045 of 2,517,922 )

How can I increase my downloads?

Downloads

My notes