Paraconsistent logic, evidence, and justification

DOI10.1007/s11225-017-9714-3zbMath1417.03192OpenAlexW2590661609MaRDI QIDQ1685567

Melvin Fitting

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9714-3

zbMATH Keywords

evidencemodal logicjustificationparaconsistent logicstrong negationBelnapNelson

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic, The evidence approach to paraconsistency versus the paraconsistent approach to evidence, A four-valued dynamic epistemic logic, An epistemic approach to paraconsistency: a logic of evidence and truth, First-order logics of evidence and truth with constant and variable domains

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics, justification logics, and realization
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• First degree entailments
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION
• Justification Logic