@inproceedings{c8c2a00cb79b4d53ab4e64cf676b35c5,
title = "Three-valued paraconsistent propositional logics",
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.",
keywords = "3-valued matrices, Paraconsistency, Proof systems",
author = "Ofer Arieli and Arnon Avron",
note = "Publisher Copyright: {\textcopyright} Springer India 2015.; 5th World Congress on Paraconsistency, WCP 2014 ; Conference date: 13-02-2014 Through 17-02-2014",
year = "2015",
doi = "10.1007/978-81-322-2719-9_4",
language = "אנגלית",
isbn = "9788132227175",
series = "Springer Proceedings in Mathematics and Statistics",
publisher = "Springer New York LLC",
pages = "91--129",
editor = "Soma Dutta and Jean-Yves Beziau and Mihir Chakraborty",
booktitle = "New Directions in Paraconsistent Logic - 5th WCP",
}