Combining classical logic, paraconsistency and relevance

Arnon Avron

doi:10.1016/j.jal.2004.07.015

Combining classical logic, paraconsistency and relevance

Arnon Avron^*

^*Corresponding author for this work

School of Computer Science

Research output: Contribution to journal › Conference article › peer-review

10 Scopus citations

Abstract

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.

Original language	English
Pages (from-to)	133-160
Number of pages	28
Journal	Journal of Applied Logic
Volume	3
Issue number	1
DOIs	https://doi.org/10.1016/j.jal.2004.07.015
State	Published - Mar 2005
Event	A Paraconsistent Decagon - Duration: 5 Aug 2002 → 9 Aug 2002

Keywords

Classical logic
Gentzen-type systems
Many-valued semantics
Paraconsistency
Relevance logic

Access to Document

10.1016/j.jal.2004.07.015

Cite this

@article{584a35737e834569abbf136d4031182f,

title = "Combining classical logic, paraconsistency and relevance",

abstract = "We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.",

keywords = "Classical logic, Gentzen-type systems, Many-valued semantics, Paraconsistency, Relevance logic",

author = "Arnon Avron",

year = "2005",

month = mar,

doi = "10.1016/j.jal.2004.07.015",

language = "אנגלית",

volume = "3",

pages = "133--160",

journal = "Journal of Applied Logic",

issn = "1570-8683",

publisher = "Elsevier B.V.",

number = "1",

note = "A Paraconsistent Decagon ; Conference date: 05-08-2002 Through 09-08-2002",

}

TY - JOUR

T1 - Combining classical logic, paraconsistency and relevance

AU - Avron, Arnon

PY - 2005/3

Y1 - 2005/3

N2 - We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.

AB - We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.

KW - Classical logic

KW - Gentzen-type systems

KW - Many-valued semantics

KW - Paraconsistency

KW - Relevance logic

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

U2 - 10.1016/j.jal.2004.07.015

DO - 10.1016/j.jal.2004.07.015

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:14044274226

SN - 1570-8683

VL - 3

SP - 133

EP - 160

JO - Journal of Applied Logic

JF - Journal of Applied Logic

IS - 1

T2 - A Paraconsistent Decagon

Y2 - 5 August 2002 through 9 August 2002

ER -

Combining classical logic, paraconsistency and relevance

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this