Simplified semantics for relevant logics (and some of their rivals)

Greg Restall

doi:10.1007/BF01349561

Simplified semantics for relevant logics (and some of their rivals)

Greg Restall^*

^*Corresponding author for this work

Philosophy

Research output: Contribution to journal › Article › peer-review

Abstract

This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising^'*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

Original language	English
Pages (from-to)	481-511
Number of pages	31
Journal	Journal of Philosophical Logic
Volume	22
Issue number	5
DOIs	https://doi.org/10.1007/BF01349561
Publication status	Published - Oct 1993

Access to Document

10.1007/BF01349561

Cite this

@article{bba049a6b5d54657b4bbb5f0cc3f4fbc,

title = "Simplified semantics for relevant logics (and some of their rivals)",

abstract = "This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B+ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B+, and then add the dualising'*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.",

author = "Greg Restall",

year = "1993",

month = oct,

doi = "10.1007/BF01349561",

language = "English",

volume = "22",

pages = "481--511",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer",

number = "5",

}

TY - JOUR

T1 - Simplified semantics for relevant logics (and some of their rivals)

AU - Restall, Greg

PY - 1993/10

Y1 - 1993/10

N2 - This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B+ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B+, and then add the dualising'*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

AB - This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B+ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B+, and then add the dualising'*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

UR - http://www.scopus.com/inward/record.url?scp=0040197205&partnerID=8YFLogxK

U2 - 10.1007/BF01349561

DO - 10.1007/BF01349561

M3 - Article

AN - SCOPUS:0040197205

SN - 0022-3611

VL - 22

SP - 481

EP - 511

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 5

ER -

Simplified semantics for relevant logics (and some of their rivals)

Abstract

Access to Document

Other files and links

Fingerprint

Cite this