A weak logic with the axiom Mingle lacking the variable-sharing property

, &
Bulletin of the Section of Logic 40 (3/4):195-202 (2011)
  Copy   BIBTEX

Abstract

As it is well known, Relevance Logic R plus the axiom mingle (R-Mingle) does not have the variable-sharing property (vsp). The aim of this paper is to improve this result by defining a weak logic with the axiom mingle and not included in minimal logic BM lacking the vsp.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

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.
Substructural logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.Gemma Robles & José M. Méndez - 2014 - Notre Dame Journal of Formal Logic 55 (1):107-127.
Multiplicative conjunction and an algebraic meaning of contraction and weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
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.
Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Studia Logica 102 (1):185-217.
M l.John L. Bell - unknown
What kind of preference maximization does the weak axiom of revealed non-inferiority characterize?Michele Lombardi - manuscript
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The k-variable property is stronger than h-dimension K.Ian Hodkinson & András Simon - 1997 - Journal of Philosophical Logic 26 (1):81-101.
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.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.

Analytics

Added to PP
2013-10-28

Downloads
31 (#484,163)

6 months
5 (#510,007)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León

Citations of this work

No citations found.

Add more citations

References found in this work

The compatibility of relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.
Admissibility of Ackermann's rule δ in relevant logics.Gemma Robles - 2013 - Logic and Logical Philosophy 22 (4):411-427.

Add more references