A Class of Simpler Logical Matrices for the Variable-Sharing Property

&
Logic and Logical Philosophy 20 (3):241-249 (2011)
  Copy   BIBTEX

Abstract

In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R

Categories

Keywords

Reprint years

DOI

10.12775/llp.2011.014

Links

PhilArchive



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

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.
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.
There exist exactly two maximal strictly relevant extensions of the relevant logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
On reduced matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.
Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
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.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Sentential logics and Maehara interpolation property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
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 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 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
2013-11-24

Downloads
24 (#639,942)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.

View all 7 citations / 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.
Erratum to: The compatibility of relevance and Mingle. [REVIEW]José M. Méndez - 2010 - Journal of Philosophical Logic 39 (3):339-339.

Add more references