How a Computer Should Think
From MaRDI portal
Publication:3305607
DOI10.1007/978-3-030-31136-0_4zbMath1469.03060OpenAlexW2998490647MaRDI QIDQ3305607
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
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
