New Essays on Belnap-­Dunn Logic

New Essays on Belnap-­Dunn Logic

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Omori, Hitoshi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wansing, Heinrich (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 418
Θέματα:
Logic.
Mathematical logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • An invitation to New Essays on Belnap-Dunn logic (Hitoshi Omori and Heinrich Wansing)
  • Part I. Essays by the Founders. Natural Language versus Formal Language (J. Michael Dunn)
  • Intuitive Semantics for First-Degree Entailment and 'Coupled Trees' (J. Michael Dunn)
  • How a Computer Should Think (Nuel D. Belnap)
  • A Useful Four-Valued Logic (Nuel D. Belnap)
  • Two, Three, Four, Infinity: The Path to the Four-valued Logic and Beyond (J. Michael Dunn)
  • Interview with Prof. Nuel D. Belnap (Nuel D. Belnap and Heinrich Wansing)
  • Part II. New Essays. FDE as the One True Logic (Jc Beall)
  • Default Rules in the Logic of First-Degree Entailments (Katalin Bimbó)
  • Belnap and Nagarjuna on How Computers and Sentient Beings Should Think: Truth, Trust and the Catuskoti (Jay L. Garfield)
  • K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued LogicsWork for You (Allen P. Hazen and Francis Jeffry Pelletier)
  • FDE as a Base for Constructive Logic (Andreas Kapsner)
  • Bridging the Two Plans in the Semantics for Relevant Logic (Takuro Onishi)
  • Bilattice Logics and Demi-Negation (Francesco Paoli)
  • Consistency, Completeness, and Classicality (Adam Prenosil)
  • Natural Deduction Systems for Logics in the FDE Family (Graham Priest)
  • Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Igor Sedlár and Ondrej Majer)
  • First-Degree Entailment and Structural Reasoning (Yaroslav Shramko).

Παρόμοια τεκμήρια