Failure of completeness properties of intuitionistic predicate logic for constructive models
Daniel Leivant (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Displaying similar documents to “The present state of investigations on the foundations of mathematics”
Failure of completeness properties of intuitionistic predicate logic for constructive models
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Undecidability of the completeness problem of modal logic
S. Thomason (1982)
Banach Center Publications
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
Intuitionistic logic considered as an extension of classical logic : some critical remarks
Javier Legris, Jorge A. Molina (2001)
Philosophia Scientiae
Similarity:
In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection...
A note on the theory of propositional types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
A metatheoretical characterization of negation as finite failure.
Giovanni Criscuolo (1996)
Mathware and Soft Computing
Similarity:
Time conditional propositions
Jan Štěpán (1988)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity: