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

zbMATH Keywords

many-valued logicannotated logicparaconsistent reasoning

Mathematics Subject Classification ID

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)

Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering ⋮ Programming with Annotated Logics ⋮ Jair Minoro Abe on Paraconsistent Engineering ⋮ On recent applications of paraconsistent logic: an exploratory literature review

This page was built for publication: Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning