Review of Symbolic Logic 10 (4):663-681 (2017)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,199
External links
- From the Publisher via CrossRef (no proxy)
- espace.library.uq.edu.au
(no proxy) - espace.library.uq.edu.au [2] (no proxy)
- cambridge.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers.H. Jerome Keisler - 1971 - Amsterdam: North-Holland Pub. Co..
View all 38 references / Add more references
Citations of this work BETA
Similar books and articles
A Lindström-Style Theorem for Finitary Propositional Weak Entailment Languages with Absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.
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.
From Finitary to Infinitary Second‐Order Logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences.C. J. Ash - 1992 - Annals of Pure and Applied Logic 58 (3):173-184.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers.H. Jerome Keisler - 1971 - Amsterdam: North-Holland Pub. Co..
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 )
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
