The relevant fragment of first order logic

Review of Symbolic Logic 9 (1):143-166 (2016)

Authors
Guillermo Badia
University of Queensland
Abstract
Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020315000313
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

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Transfinite Numbers in Paraconsistent Set Theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.

View all 16 references / Add more references

Citations of this work BETA

Infinitary Propositional Relevant Languages with Absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.

Add more citations

Similar books and articles

On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Expressivity of Second Order Propositional Modal Logic.Balder Ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Anderson's Relevant Deontic and Eubouliatic Systems.Gert-Jan C. Lokhorst - 2008 - Notre Dame Journal of Formal Logic 49 (1):65-73.
Tolerance Logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

Analytics

Added to PP index
2015-12-03

Total views
38 ( #210,437 of 2,244,012 )

Recent downloads (6 months)
11 ( #104,228 of 2,244,012 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature