Tableaux with four signs as a unified framework

Arnon Avron

doi:10.1007/978-3-540-45206-5_4

Tableaux with four signs as a unified framework

Arnon Avron^*

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Abstract

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 language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings
Editors	Marta Cialdea Mayer, Fiora Pirri
Publisher	Springer Verlag
Pages	4-16
Number of pages	13
ISBN (Print)	9783540407874
DOIs	https://doi.org/10.1007/978-3-540-45206-5_4
State	Published - 2003
Event	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 - Rome, Italy Duration: 9 Sep 2003 → 12 Sep 2003

Publication series

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

Conference

Conference	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003
Country/Territory	Italy
City	Rome
Period	9/09/03 → 12/09/03

Access to Document

10.1007/978-3-540-45206-5_4

Cite this

Avron, A. (2003). Tableaux with four signs as a unified framework. In M. C. Mayer, & F. Pirri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings (pp. 4-16). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2796). Springer Verlag. https://doi.org/10.1007/978-3-540-45206-5_4

Avron, Arnon. / Tableaux with four signs as a unified framework. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. editor / Marta Cialdea Mayer ; Fiora Pirri. Springer Verlag, 2003. pp. 4-16 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1aeffc77c17e48e8a2d218db17f719bb,

title = "Tableaux with four signs as a unified framework",

abstract = "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{\textquoteright}s four-valued logic), Nelson{\textquoteright}s logics for constructive negation, and da Costa{\textquoteright}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.",

author = "Arnon Avron",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 ; Conference date: 09-09-2003 Through 12-09-2003",

year = "2003",

doi = "10.1007/978-3-540-45206-5_4",

language = "אנגלית",

isbn = "9783540407874",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "4--16",

editor = "Mayer, {Marta Cialdea} and Fiora Pirri",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings",

}

Avron, A 2003, Tableaux with four signs as a unified framework. in MC Mayer & F Pirri (eds), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2796, Springer Verlag, pp. 4-16, International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003, Rome, Italy, 9/09/03. https://doi.org/10.1007/978-3-540-45206-5_4

Tableaux with four signs as a unified framework. / Avron, Arnon.
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. ed. / Marta Cialdea Mayer; Fiora Pirri. Springer Verlag, 2003. p. 4-16 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2796).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Tableaux with four signs as a unified framework

AU - Avron, Arnon

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2003.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

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

U2 - 10.1007/978-3-540-45206-5_4

DO - 10.1007/978-3-540-45206-5_4

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:7044261090

SN - 9783540407874

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 4

EP - 16

BT - Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings

A2 - Mayer, Marta Cialdea

A2 - Pirri, Fiora

PB - Springer Verlag

T2 - International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003

Y2 - 9 September 2003 through 12 September 2003

ER -

Avron A. Tableaux with four signs as a unified framework. In Mayer MC, Pirri F, editors, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Springer Verlag. 2003. p. 4-16. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-45206-5_4

Tableaux with four signs as a unified framework

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this