Logic and Logical Philosophy 19 (4):341-351 (2010)
Authors |
|
Abstract |
A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E
|
Keywords | R-Mingle Ackermann property variable-sharing property relevance and entailment logics |
Categories | (categorize this paper) |
DOI | 10.12775/LLP.2010.013 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
The (Greatest) Fragment of Classical Logic That Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework).Damian E. Szmuc - 2021 - Bulletin of the Section of Logic 50 (4):421-453.
Similar books and articles
Substructural Logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.
A Class of Simpler Logical Matrices for the Variable-Sharing Property.G. Robles & J. M. Méndez - 2011 - Logic and Logical Philosophy 20 (3):241-249.
A Weak Logic with the Axiom Mingle Lacking the Variable-Sharing Property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
Converse Ackermann Property and Constructive Negation Defined with a Negation Connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
On Variable Separation in Modal and Superintuitionistic Logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
A Finite Model Property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
The K-Variable Property is Stronger Than H-Dimension K.Ian Hodkinson & András Simon - 1997 - Journal of Philosophical Logic 26 (1):81-101.
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.
A Note on Freedom From Detachment in the Logic of Paradox.Jc Beall, Thomas Forster & Jeremy Seligman - 2013 - Notre Dame Journal of Formal Logic 54 (1):15-20.
Analytics
Added to PP index
2013-11-24
Total views
443 ( #21,480 of 2,506,007 )
Recent downloads (6 months)
2 ( #277,268 of 2,506,007 )
2013-11-24
Total views
443 ( #21,480 of 2,506,007 )
Recent downloads (6 months)
2 ( #277,268 of 2,506,007 )
How can I increase my downloads?
Downloads