A survey of annotated logics

DOI10.1007/978-3-319-40418-9_5MaRDI QIDQ5213771zbMATH OpenOpenAlexFDO

Authors 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

annotated logicsparacompletenessparaconsistencyparaconsistent logic programmingparaconsistent logics

Mathematics Subject Classification ID

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

Recommendations

• The Paraconsistent Logics PJ
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• The Paraconsistent Logics PJ
• scientific article; zbMATH DE number 2019878
• Logic programming with signs and annotations

Cites work

• -models and the systems T and T^*
• A logic for reasoning with inconsistency
• A semantical analysis of the calculi \(C_n\)
• Annotated logics Q and ultraproducts
• Curry algebras P
• Every quotient algebra for \(C_1\) is trivial
• Handbook of philosophical logic. Vol. 7
• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 4137750 (Why is no real title available?)
• scientific article; zbMATH DE number 4164174 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3497849 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 727674 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 2079776 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• scientific article; zbMATH DE number 2096990 (Why is no real title available?)
• scientific article; zbMATH DE number 910439 (Why is no real title available?)
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• Logics of formal inconsistency
• On the theory of inconsistent formal systems
• Paraconsistent intelligent-based systems. New trends in the applications of paraconsistency
• Paraconsistent logic programming
• The logic of paradox
• The Paraconsistent Logics PJ

Cited in

(13)

• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• Annotated logics Q and ultraproducts
• Logic programming with signs and annotations
• The Paraconsistent Logics PJ
• scientific article; zbMATH DE number 1302500 (Why is no real title available?)
• scientific article; zbMATH DE number 727674 (Why is no real title available?)
• scientific article; zbMATH DE number 2019866 (Why is no real title available?)
• scientific article; zbMATH DE number 2019878 (Why is no real title available?)
• On the relationship between annotated logic programs and nonmonotonic formalisms
• scientific article; zbMATH DE number 1453067 (Why is no real title available?)
• Programming with annotated logics
• The Paraconsistent Logics PJ
• Annotated logics and application -- an overview

This page was built for publication: A survey of annotated logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213771)