Three-valued paraconsistent propositional logics

Ofer Arieli*, Arnon Avron

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Three-valued matrices provide the simplest semantic framework for introducing paraconsistent logics. This paper is a comprehensive study of the main properties of propositional paraconsistent three-valued logics in general, and of the most important such logics in particular. For each logic in the latter group, we also provide a corresponding cut-free Gentzen-type system.

Original languageEnglish
Title of host publicationNew Directions in Paraconsistent Logic - 5th WCP
EditorsSoma Dutta, Jean-Yves Beziau, Mihir Chakraborty
PublisherSpringer New York LLC
Pages91-129
Number of pages39
ISBN (Print)9788132227175
DOIs
StatePublished - 2015
Event5th World Congress on Paraconsistency, WCP 2014 - Kolkata, India
Duration: 13 Feb 201417 Feb 2014

Publication series

NameSpringer Proceedings in Mathematics and Statistics
Volume152
ISSN (Print)2194-1009
ISSN (Electronic)2194-1017

Conference

Conference5th World Congress on Paraconsistency, WCP 2014
Country/TerritoryIndia
CityKolkata
Period13/02/1417/02/14

Funding

FundersFunder number
Israel Science Foundation817-15

    Keywords

    • 3-valued matrices
    • Paraconsistency
    • Proof systems

    Fingerprint

    Dive into the research topics of 'Three-valued paraconsistent propositional logics'. Together they form a unique fingerprint.

    Cite this