Tableaux with four signs as a unified framework

Arnon Avron*

*Corresponding author for this work

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


We showt hat the use of tableaux with four types of signed formulas (the signs intuitively corresponding to positive/negative information concerning truth/falsity) provides a framework in which a diversity of logics can be handled in a uniform way. The logics for which we provide sound and complete tableau systems of this type are classical logic, the most important three-valued logics, the four-valued logic of logical bilattices (an extension of Belnap’s four-valued logic), Nelson’s logics for constructive negation, and da Costa’s paraconsistent logic Cω (together with some of its extensions). For the latter we provide new, simple semantics for which our tableau systems are sound and complete.

Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings
EditorsMarta Cialdea Mayer, Fiora Pirri
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783540407874
StatePublished - 2003
EventInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 - Rome, Italy
Duration: 9 Sep 200312 Sep 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003


Dive into the research topics of 'Tableaux with four signs as a unified framework'. Together they form a unique fingerprint.

Cite this