Incompactness of the A1 Fragment of Basic Second Order Propositional Relevant Logic

Australasian Journal of Logic 16 (1):1-8 (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v16i1.3925

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The relevant fragment of first order logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.
The languages of relevant logic: a model-theoretic perspective.Guillermo Badia Hernandez - unknown
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.
Combinator logics.Lou Goble - 2004 - Studia Logica 76 (1):17 - 66.
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
2019-06-22

Downloads
21 (#715,461)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Guillermo Badia
University of Queensland

Citations of this work

No citations found.

Add more citations

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.

View all 6 references / Add more references