Review of Symbolic Logic 9 (1):143-166 (2016)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
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.
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.
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.
The Undecidability of Second Order Linear Logic Without Exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
Axiomatizing the Monodic Fragment of First-Order Temporal Logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
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.
A Phase Semantics for Polarized Linear Logic and Second Order Conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
Proof Tableau Formulations of Some First-Order Relevant Ortho-Logics.Michael Mcrobbie & Nuel Belnap Jr - 1984 - Bulletin of the Section of Logic 13 (4):233-239.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
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.
Second-Order Logic : Ontological and Epistemological Problems.Marcus Rossberg - 2006 - Dissertation, St Andrews
Substructural Implicational Logics Including the Relevant Logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Analytics
Added to PP index
2015-12-03
Total views
49 ( #231,293 of 2,507,015 )
Recent downloads (6 months)
1 ( #417,155 of 2,507,015 )
2015-12-03
Total views
49 ( #231,293 of 2,507,015 )
Recent downloads (6 months)
1 ( #417,155 of 2,507,015 )
How can I increase my downloads?
Downloads
