Logic Journal of the IGPL 20 (1):355-364 (2012)
| Authors |
|
| Abstract |
The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1093/jigpal/jzr046 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Boolean Negation and Non-Conservativity II: The Variable-Sharing Property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
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.
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.
Similar books and articles
A Modal Restriction of R-Mingle with the Variable-Sharing Property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - Logic and Logical Philosophy 19 (4):341-351.
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.
Substructural Logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.
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 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.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
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.
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
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.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
On the Decidability of Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Restricting the Contraction Axiom in Dummett's LC: A Sublogic of LC with the Converse Ackermann Property, the Logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
Failure of Interpolation in Relevant Logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.
Analytics
Added to PP index
2015-02-04
Total views
16 ( #665,648 of 2,506,531 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,531 )
2015-02-04
Total views
16 ( #665,648 of 2,506,531 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,531 )
How can I increase my downloads?
Downloads
