Self-extensional three-valued paraconsistent logics have no implication

Arnon Avron; Jean Yves Beziau

doi:10.1093/jigpal/jzw059

Self-extensional three-valued paraconsistent logics have no implication

Arnon Avron^*, Jean Yves Beziau

^*Corresponding author for this work

School of Computer Science

Universidade Federal do Rio de Janeiro

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

12 Scopus citations

Abstract

A proof is presented showing that there is no paraconsistent logics with a standard implication (or even semi-implication) which have a three-valued characteristic matrix, and in which the replacement principle holds.

Original language	English
Pages (from-to)	183-194
Number of pages	12
Journal	Logic Journal of the IGPL
Volume	25
Issue number	2
DOIs	https://doi.org/10.1093/jigpal/jzw059
State	Published - 1 Apr 2017

Funding

Funders	Funder number
EU-FP7
European Commission	318986
Tel Aviv University	PIRSES-GA-2012-318986
Israel Science Foundation	817/15

Keywords

Implication
Many-valued logic
Negation
Paraconsistent logic
Self-extensionality

Access to Document

10.1093/jigpal/jzw059

Cite this

@article{908ee8319b6143159c96802398c2f5d9,

title = "Self-extensional three-valued paraconsistent logics have no implication",

abstract = "A proof is presented showing that there is no paraconsistent logics with a standard implication (or even semi-implication) which have a three-valued characteristic matrix, and in which the replacement principle holds.",

keywords = "Implication, Many-valued logic, Negation, Paraconsistent logic, Self-extensionality",

author = "Arnon Avron and Beziau, {Jean Yves}",

year = "2017",

month = apr,

day = "1",

doi = "10.1093/jigpal/jzw059",

language = "אנגלית",

volume = "25",

pages = "183--194",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "2",

}

TY - JOUR

T1 - Self-extensional three-valued paraconsistent logics have no implication

AU - Avron, Arnon

AU - Beziau, Jean Yves

PY - 2017/4/1

Y1 - 2017/4/1

N2 - A proof is presented showing that there is no paraconsistent logics with a standard implication (or even semi-implication) which have a three-valued characteristic matrix, and in which the replacement principle holds.

AB - A proof is presented showing that there is no paraconsistent logics with a standard implication (or even semi-implication) which have a three-valued characteristic matrix, and in which the replacement principle holds.

KW - Implication

KW - Many-valued logic

KW - Negation

KW - Paraconsistent logic

KW - Self-extensionality

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

U2 - 10.1093/jigpal/jzw059

DO - 10.1093/jigpal/jzw059

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85018755440

SN - 1367-0751

VL - 25

SP - 183

EP - 194

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

IS - 2

ER -

Self-extensional three-valued paraconsistent logics have no implication

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this