Mathematical Logic

Front Matter....Pages i-x
Front Matter....Pages 1-1
On the Early History of Intuitionistic Logic....Pages 3-17
Heyting and Intuitionistic Geometry....Pages 19-27
Front Matter....Pages 29-29
Provability Logics for Relative Interpretability....Pages 31-42
Constructive Mathematics and Computer-Assisted Reasoning Systems....Pages 43-52
Markov’s Constructive Mathematical Analysis: The Expectations and the Results....Pages 53-58
Normalization Theorems for the Intuitionistic Systems with Choice Principles....Pages 59-66
Formalizing the Notion of Total Information....Pages 67-94
Structural Rules and a Logical Hierarchy....Pages 95-104
Semantics of Non-Classical First Order Predicate Logics....Pages 105-116
On the Computational Power of the Logic Programs....Pages 117-137
Some Relations among Systems for Bounded Arithmetic....Pages 139-154
A Survey of Intuitionistic Descriptive Set Theory....Pages 155-174
Interpretability Logic....Pages 175-209
Hierarchies of Provably Computable Functions....Pages 211-220
Front Matter....Pages 221-221
Sequent Calculus for Intuitionistic Linear Propositional Logic....Pages 223-242
Order Isomorphisms – A Constructive Measure-Theoretic View....Pages 243-255
Pemarks on Denjoy Sets....Pages 257-265
Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded....Pages 267-280
Lattices Adequate for Intuitionistic Predicate Logic....Pages 281-291
Front Matter....Pages 293-297
A Note on Boolean Modal Logic....Pages 221-221
Completeness and Incompleteness in the Bimodal Base ℒ(R,−R)....Pages 299-309
A Temporal Logic for Event Structures....Pages 311-326
Completeness of Propositional Dynamic Logic with Infinite Repeating....Pages 327-338
An Equivalence between Polynomial Constructivity of Markov’s Principle and the Equality P=NP....Pages 339-349
Effective Enumerations of Abstract Structures....Pages 351-360
Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets....Pages 361-372
Least Fixed Points in Preassociative Combinatory Algebras....Pages 373-387
Back Matter....Pages 389-397
....Pages 399-412