Missa: a regional approach to maintain validity
Article in International Journal of Blockchains and Cryptocurrencies (June 2023)
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Basic Notions
-
Altmetric BadgeChapter 2 Validity
-
Altmetric BadgeChapter 3 Formality
-
Altmetric BadgeChapter 4 The Symbols of Propositional Logic
-
Altmetric BadgeChapter 5 The Language L
-
Altmetric BadgeChapter 6 Logical Consequence in L
-
Altmetric BadgeChapter 7 The System G
-
Altmetric BadgeChapter 8 Derivability in G
-
Altmetric BadgeChapter 9 The System L
-
Altmetric BadgeChapter 10 Consistency, Soundness, Completeness
-
Altmetric BadgeChapter 11 Quantification
-
Altmetric BadgeChapter 12 The Symbols of Predicate Logic
-
Altmetric BadgeChapter 13 The Language L q
-
Altmetric BadgeChapter 14 The System Q
-
Altmetric BadgeChapter 15 Consistency, Soundness, Completeness
-
Altmetric BadgeChapter 16 Undecidability and Related Results
-
Altmetric BadgeChapter 17 First-Order Logic
-
Altmetric BadgeChapter 18 Theories and Models
-
Altmetric BadgeChapter 19 Gödel’s Incompleteness Theorems
-
Altmetric BadgeChapter 20 Rudiments of Modal Logic