On universally free first-order extensions of Belnap-Dunn's four-valued logic and Nelson's paraconsistent logic N4

DOI10.1007/S10992-025-09783-WMaRDI QIDQ7008140zbMATH OpenFDO

Authors H. Antunes, Abilio Rodrigues

Publication date 24 March 2025

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10992-025-09783-W

zbMATH Keywords

Belnap-Dunn's four-valued logicfirst-degree entailmentfree logicsinformation-based logicsNelson's paraconsistent logic \(N{4}\)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Constructible falsity and inexact predicates
• Constructivism in mathematics. An introduction. Volume II
• First degree entailments
• First-order logics of evidence and truth with constant and variable domains
• Handbook of philosophical logic. Vol. 5
• How a Computer Should Think
• Intuitive semantics for first-degree entailments and `coupled trees'
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• New essays in free logic. In honour of Karel Lambert
• The logic of information structures
• Valuation semantics for first-order logics of evidence and truth
• Variable domain first-order first-degree entailment and some of its children

Cited in

(2)

• A note on the axiom of choice in an iterative paraconsistent set theory
• First-order intuitionistic Belnap-Dunn logic: proof-theoretic analysis of the American path

This page was built for publication: On universally free first-order extensions of Belnap-Dunn's four-valued logic and Nelson's paraconsistent logic \(N{4}\)

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