Ideal Paraconsistent Logics

O. Arieli; A. Avron; A. Zamansky

doi:10.1007/s11225-011-9346-y

Ideal Paraconsistent Logics

O. Arieli, A. Avron, A. Zamansky

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

Abstract

We define in precise terms the basic properties that an 'ideal propositional paraconsistent logic' is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n < 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.

Original language	English
Pages (from-to)	31-60
Number of pages	30
Journal	Studia Logica
Volume	99
Issue number	1
DOIs	https://doi.org/10.1007/s11225-011-9346-y
State	Published - Oct 2011
Externally published	Yes

Bibliographical note

Funding Information:
Acknowledgements. This research was supported by The Israel Science Foundation (grant No 280-10).

Keywords

Paraconsistent logics
ideal paraconsistency
many-valued logics

ASJC Scopus subject areas

Logic
History and Philosophy of Science

Access to Document

10.1007/s11225-011-9346-y

Cite this

@article{3304c991e29e428883be0b9266fe8d4b,

title = "Ideal Paraconsistent Logics",

abstract = "We define in precise terms the basic properties that an 'ideal propositional paraconsistent logic' is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n < 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.",

keywords = "Paraconsistent logics, ideal paraconsistency, many-valued logics",

author = "O. Arieli and A. Avron and A. Zamansky",

note = "Funding Information: Acknowledgements. This research was supported by The Israel Science Foundation (grant No 280-10).",

year = "2011",

month = oct,

doi = "10.1007/s11225-011-9346-y",

language = "English",

volume = "99",

pages = "31--60",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Ideal Paraconsistent Logics

AU - Arieli, O.

AU - Avron, A.

AU - Zamansky, A.

N1 - Funding Information: Acknowledgements. This research was supported by The Israel Science Foundation (grant No 280-10).

PY - 2011/10

Y1 - 2011/10

N2 - We define in precise terms the basic properties that an 'ideal propositional paraconsistent logic' is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n < 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.

AB - We define in precise terms the basic properties that an 'ideal propositional paraconsistent logic' is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n < 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.

KW - Paraconsistent logics

KW - ideal paraconsistency

KW - many-valued logics

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

U2 - 10.1007/s11225-011-9346-y

DO - 10.1007/s11225-011-9346-y

M3 - Article

AN - SCOPUS:80052968555

SN - 0039-3215

VL - 99

SP - 31

EP - 60

JO - Studia Logica

JF - Studia Logica

IS - 1

ER -

Ideal Paraconsistent Logics

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this