Mathematical Logic

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 On the Early History of Intuitionistic Logic
3. Altmetric Badge
   Chapter 2 Heyting and Intuitionistic Geometry
4. Altmetric Badge
   Chapter 3 Provability Logics for Relative Interpretability
5. Altmetric Badge
   Chapter 4 Constructive Mathematics and Computer-Assisted Reasoning Systems
6. Altmetric Badge
   Chapter 5 Markov’s Constructive Mathematical Analysis: The Expectations and the Results
7. Altmetric Badge
   Chapter 6 Normalization Theorems for the Intuitionistic Systems with Choice Principles
8. Altmetric Badge
   Chapter 7 Formalizing the Notion of Total Information
9. Altmetric Badge
   Chapter 8 Structural Rules and a Logical Hierarchy
10. Altmetric Badge
    Chapter 9 Semantics of Non-Classical First Order Predicate Logics
11. Altmetric Badge
    Chapter 10 On the Computational Power of the Logic Programs
12. Altmetric Badge
    Chapter 11 Some Relations among Systems for Bounded Arithmetic
13. Altmetric Badge
    Chapter 12 A Survey of Intuitionistic Descriptive Set Theory
14. Altmetric Badge
    Chapter 13 Interpretability Logic
15. Altmetric Badge
    Chapter 14 Hierarchies of Provably Computable Functions
16. Altmetric Badge
    Chapter 15 Sequent Calculus for Intuitionistic Linear Propositional Logic
17. Altmetric Badge
    Chapter 16 Order Isomorphisms – A Constructive Measure-Theoretic View
18. Altmetric Badge
    Chapter 17 1-Generic Enumeration Degrees Below O e ’
19. Altmetric Badge
    Chapter 18 Pemarks on Denjoy Sets
20. Altmetric Badge
    Chapter 19 Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded
21. Altmetric Badge
    Chapter 20 Lattices Adequate for Intuitionistic Predicate Logic
22. Altmetric Badge
    Chapter 21 A Note on Boolean Modal Logic
23. Altmetric Badge
    Chapter 22 Completeness and Incompleteness in the Bimodal Base ℒ(R,−R)
24. Altmetric Badge
    Chapter 23 A Temporal Logic for Event Structures
25. Altmetric Badge
    Chapter 24 Completeness of Propositional Dynamic Logic with Infinite Repeating
26. Altmetric Badge
    Chapter 25 An Equivalence between Polynomial Constructivity of Markov’s Principle and the Equality P=NP
27. Altmetric Badge
    Chapter 26 Effective Enumerations of Abstract Structures
28. Altmetric Badge
    Chapter 27 Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets
29. Altmetric Badge
    Chapter 28 Least Fixed Points in Preassociative Combinatory Algebras