TitleMathematical Logic [electronic resource] / edited by Petio Petrov Petkov
ImprintBoston, MA : Springer US, 1990
Connect tohttp://dx.doi.org/10.1007/978-1-4613-0609-2
Descript 420 p. online resource

CONTENT

Heyting Session (Invited Papers) -- On the Early History of Intuitionistic Logic -- Heyting and Intuitionistic Geometry -- Summer School (Invited Lectures) -- Provability Logics for Relative Interpretability -- Constructive Mathematics and Computer-Assisted Reasoning Systems -- Markovโs Constructive Mathematical Analysis: the Expextations and Results -- Normalization Theorems for the Intuitionistic Systems with Choice Principles -- Formalizing the Notion of Total Information -- Structural Rules and a Logical Hierarchy -- Semantics of Non-classical First Order Predicate Logics -- On the Computational Power of the Logic Programs -- Some Relations among Systems for Bounded Arithmetic -- A Survey of Intuitionistic Descriptive Set Theory -- Interpretability Logic -- Hierarchies of Provably Computable Functions -- Conference (Contributed Papers) -- Sequent Calculus for Intuitionistic Linear Propositional Logic -- Order Isomorphisms โ a Constructive Measure-Theoretic View -- 1-Generic Enumeration Degrees Below Oeโ -- Remarks on Denjoy Sets -- Normal Modal Logic in Which the Heyting Proposotional Calculus Can be Embedded -- Lattices Adequate for Intutionistic Predicate Logic -- A Note on Boolean Modal Logic -- Completeness and Incompleteness in the Bimodal Base L(R,?R) -- A Temporal Logic for Event Structures -- Completeness of Propositional Dynamic Logic with Infinite Repeating -- An Equivalence between Polinomial Constructivity of Markovโs Principle and Equality P=NP -- Effective Enumerations of Abstract Structures -- Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets -- Least Fixed Points in Preassociative Combinatory Algebras -- Participants, Contributors and Programme Committee Members


SUBJECT

  1. Mathematics
  2. Logic
  3. Algebra
  4. Field theory (Physics)
  5. Functional analysis
  6. Mathematical logic
  7. Mathematics
  8. Mathematical Logic and Foundations
  9. Functional Analysis
  10. Logic
  11. Field Theory and Polynomials