Mathematical Logic

Edited by Petio Petrov Petkov

in Springer Books from Springer

Date: 1990
ISBN: 978-1-4613-0609-2
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

On the Early History of Intuitionistic Logic

A. S. Troelstra

Heyting and Intuitionistic Geometry

D. van Dalen

Provability Logics for Relative Interpretability

Dick de Jongh and Frank Veltman

Constructive Mathematics and Computer-Assisted Reasoning Systems

Susumu Hayashi

Markov’s Constructive Mathematical Analysis: The Expectations and the Results

Boris Kushner

Normalization Theorems for the Intuitionistic Systems with Choice Principles

Grigorii Mints

Formalizing the Notion of Total Information

Dag Normann

Structural Rules and a Logical Hierarchy

Hiroakira Ono

Semantics of Non-Classical First Order Predicate Logics

Valentin Shehtman and Dmitrij Skvortsov

On the Computational Power of the Logic Programs

Ivan N. Soskov

Some Relations among Systems for Bounded Arithmetic

Gaisi Takeuti

A Survey of Intuitionistic Descriptive Set Theory

Wim Veldman

Interpretability Logic

Albert Visser

Hierarchies of Provably Computable Functions

S. S. Wainer

Sequent Calculus for Intuitionistic Linear Propositional Logic

V. Michele Abrusci

Order Isomorphisms – A Constructive Measure-Theoretic View

Douglas S. Bridges

1-Generic Enumeration Degrees Below O e ’

C. S. Copestake

Pemarks on Denjoy Sets

O. Demuth

Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded

Kosta Došen

Lattices Adequate for Intuitionistic Predicate Logic

Wojciech Dzik

A Note on Boolean Modal Logic

George Gargov and Solomon Passy

Completeness and Incompleteness in the Bimodal Base ℒ(R,−R)

Valentin Goranko

A Temporal Logic for Event Structures

Wojciech Penczek

Completeness of Propositional Dynamic Logic with Infinite Repeating

Jurate Sakalauskaite and Mars K. Valiev

An Equivalence between Polynomial Constructivity of Markov’s Principle and the Equality P=NP

V. Yu. Sazonov

Effective Enumerations of Abstract Structures

Alexandra A. Soskova and Ivan N. Soskov

Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets

Dimiter Vakarelov

Least Fixed Points in Preassociative Combinatory Algebras

J. Zashev

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-1-4613-0609-2

Ordering information: This item can be ordered from
http://www.springer.com/9781461306092

DOI: 10.1007/978-1-4613-0609-2

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().