Infinitary propositional relevant languages with absurdity

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

Authors
Guillermo Badia
University of Queensland
Abstract This article has no associated abstract. (fix it)
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

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,785
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.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Universal Logic.Ross Brady - 2007 - Bulletin of Symbolic Logic 13 (4):544-547.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

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 (1):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 for Infinitary Logic.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
16 ( #500,583 of 2,244,024 )

Recent downloads (6 months)
4 ( #496,867 of 2,244,024 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature