How a Computer Should Think

DOI10.1007/978-3-030-31136-0_4zbMath1469.03060OpenAlexW2998490647MaRDI QIDQ3305607

Nuel D. jun. Belnap

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_4

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) Many-valued logic (03B50)

Related Items (22)

Constraint tableaux for two-dimensional fuzzy logics ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Preferences in discrete multi-adjoint formal concept analysis ⋮ Intuitionistic propositional probability logic ⋮ Qualitative reasoning in a two-layered framework ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Two-layered logics for paraconsistent probabilities ⋮ A postulate-driven study of logical argumentation ⋮ Toward updating belief functions over Belnap-Dunn logic ⋮ Presumptive Reasoning in a Paraconsistent Setting ⋮ A Variant of Material Connexive Logic ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Unnamed Item ⋮ Structure of the rational monoid algebra for Boolean matrices of order 3 ⋮ On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species ⋮ Probabilities with gaps and gluts ⋮ A calculus for four-valued sequential logic ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ Bilattice logic properly displayed ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Paraconsistent Gödel modal logic

Cites Work

• First degree entailments
• Intuitive semantics for first-degree entailments and `coupled trees'
• Epistemology Without Knowledge and Without Belief
• The Semantics of First Degree Entailment
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: How a Computer Should Think