A Survey of Annotated Logics

DOI10.1007/978-3-319-40418-9_5zbMath1429.03100OpenAlexW2500638975MaRDI QIDQ5213771

Seiki Akama

Publication date: 4 February 2020

Published in: Towards Paraconsistent Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40418-9_5

zbMATH Keywords

paraconsistencyannotated logicsparacompletenessparaconsistent logicsparaconsistent logic programming

Mathematics Subject Classification ID

Classical propositional logic (03B05) Paraconsistent logics (03B53)

Cites Work

• Paraconsistent intelligent-based systems. New trends in the applications of paraconsistency
• A logic for reasoning with inconsistency
• Every quotient algebra for \(C_1\) is trivial
• A semantical analysis of the calculi \(C_n\)
• The logic of paradox
• Paraconsistent logic programming
• Handbook of philosophical logic. Vol. 7
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• On the theory of inconsistent formal systems
• \(\alpha\)-models and the systems T and T\(^*\)
• The Paraconsistent Logics PJ
• Logics of Formal Inconsistency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Survey of Annotated Logics