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 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Έκδοση: (2018) -
Mathesis Universalis, Computability and Proof
Έκδοση: (2019) -
Heyting Algebras Duality Theory /
ανά: Esakia, Leo, κ.ά.
Έκδοση: (2019) -
Graham Priest on Dialetheism and Paraconsistency
Έκδοση: (2019) -
Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
ανά: Rahman, Shahid, κ.ά.
Έκδοση: (2018)