You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
A Method of Defining Paraconsistent Tableaus
|
---|---|
Chapter number | 14 |
Book title |
New Directions in Paraconsistent Logic
|
Published by |
Springer India, February 2016
|
DOI | 10.1007/978-81-322-2719-9_14 |
Book ISBNs |
978-8-13-222717-5, 978-8-13-222719-9
|
Authors |
Tomasz Jarmużek, Marcin Tkaczyk |
Editors |
Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta |