Handbook of paraconsistency

MaRDI QIDQ3586991zbMATH OpenFDO

Authors

Publication date 1 September 2010

zbMATH Keywords

paraconsistent logic

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Paraconsistent logics (03B53)

Cited in

(23)

• What is a non-truth-functional logic?
• Is the principle of contradiction a consequence of \(x^2=x\)?
• Handling and measuring inconsistency in non-monotonic logics
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Strong inconsistency
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• Higher-order modal logics: automation and applications
• Inconsistency measurement
• Rule-based reasoning with belief structures
• scientific article; zbMATH DE number 4137753 (Why is no real title available?)
• Paraconsistency and word puzzles
• Variations on Jaśkowski's discursive logic
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Heterogeneous approximate reasoning with graded truth values
• Why paraconsistent logics?
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})
• On recent applications of paraconsistent logic: an exploratory literature review
• Universal logic as a science of patterns
• Is logic universal or hierarchical?
• Modeling and shadowing paraconsistent BDI agents
• Non-prioritised kernel contraction
• Relative contradictoriness
• Paraconsistency in non-Fregean framework

This page was built for publication: Handbook of paraconsistency

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