Embedding first order predicate logic in fragments of intuitionistic logic

Journal of Symbolic Logic 41 (4):705-718 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272390

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 , pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 , pp. 63–75. [REVIEW]Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150-150.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 , pp. 115–118.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Review: Michael Morley, M. H. Lob, Partitions and Models. [REVIEW]Wilfrid Hodges - 1974 - Journal of Symbolic Logic 39 (1):182-183.
Löb M. H.. Concatenation as basis for a complete system of arithmetic.Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150.
Review: M. H. Lob, Extensional Interpretations of Modal Logics. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692-692.
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.

Analytics

Added to PP
2009-01-28

Downloads
54 (#303,841)

6 months
18 (#152,517)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.

View all 6 citations / Add more citations

References found in this work

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.

Add more references