A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

From MaRDI portal
Publication:2813672

DOI10.1002/malq.201400086zbMath1388.03033OpenAlexW2358432189MaRDI QIDQ2813672

Norihiro Kamide

Publication date: 24 June 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201400086




Related Items (1)




Cites Work




This page was built for publication: A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics