Australasian Journal of Logic 16 (1):1-8 (2019)
| Authors |
|
| Abstract |
In this note we provide a simple proof of the incompactness over Routley-Meyer B-frames of the A1 fragment of the second order propositional relevant language.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.26686/ajl.v16i1.3925 |
| 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: 70,039
External links
- From the Publisher via CrossRef (no proxy)
- ojs.victoria.ac.nz
(no proxy) - ojs.victoria.ac.nz [2] (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
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hughes Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam: North-Holland Publishing Company. pp. 199-243.
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
Quantifying Over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of $\forall P$ and $\exists P$.Philip Kremer - 1993 - Journal of Symbolic Logic 58 (1):334-349.
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.
View all 6 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
The Relevant Fragment of First Order Logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.Tomasz Połacik - 1998 - Journal of Symbolic Logic 63 (1):269-300.
Model Definability in Relevant Logic.Guillermo Badia - 2017 - IfCoLog Journal of Logics and Their Applications 3 (4):623-646.
A Propositional Fragment of Leśniewski's Ontology and its Formulation by the Tableau Method.Mitsunori Kobayashi & Arata Ishimoto - 1982 - Studia Logica 41 (2-3):181 - 195.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).Gennady Shtakser - 2019 - Studia Logica 107 (4):753-780.
Propositional Logic Extended with a Pedagogically Useful Relevant Implication.Diderik Batens - 2014 - Logic and Logical Philosophy 23 (3).
Andersonian Deontic Logic, Propositional Quantification, and Mally.Gert-Jan C. Lokhorst - 2006 - Notre Dame Journal of Formal Logic 47 (3):385-395.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
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.
Analytics
Added to PP index
2019-06-22
Total views
11 ( #852,053 of 2,506,013 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,013 )
2019-06-22
Total views
11 ( #852,053 of 2,506,013 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,013 )
How can I increase my downloads?
Downloads
