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

Greg Restall*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)

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 languageEnglish
Pages (from-to)481-511
Number of pages31
JournalJournal of Philosophical Logic
Volume22
Issue number5
DOIs
Publication statusPublished - Oct 1993

Fingerprint

Dive into the research topics of 'Simplified semantics for relevant logics (and some of their rivals)'. Together they form a unique fingerprint.

Cite this