Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
DOI10.1007/978-3-319-17912-4zbMath1342.03002OpenAlexW2486567804MaRDI QIDQ2343486
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
Publication date: 5 May 2015
Published in: Intelligent Systems Reference Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-17912-4
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Paraconsistent logics (03B53)
Related Items (6)
This page was built for publication: Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning