A formalisation of constructive evidence-based reasoning: constructing justifications

DOI10.1017/BSL.2025.10MaRDI QIDQ7354666zbMATH OpenFDO

Authors Juan C. Agudelo-Agudelo, Walter Carnielli

Publication date 21 September 2026

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/BSL.2025.10

Mathematics Subject Classification ID

Type theory (03B38) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Cites work

• An epistemic approach to paraconsistency: a logic of evidence and truth
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive negation, implication, and co-implication
• Constructive negations and paraconsistency
• Dynamic logics of evidence-based beliefs
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 6131416 (Why is no real title available?)
• Justification logic. Reasoning with reasons
• Lectures on the Curry-Howard isomorphism
• Logic of proofs
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors
• On the interpretation of intuitionistic number theory
• Paraconsistent logic, evidence, and justification
• Propositional Calculus and Realizability
• Structural proof theory. With an appendix by Aarne Ranta
• The logic of justification
• Where the truth lies: a paraconsistent approach to Bayesian epistemology

This page was built for publication: A formalisation of constructive evidence-based reasoning: constructing justifications

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