Choice of terms in quantifier rules of constructive predicate calculus

Journal of Symbolic Logic 36 (3):43--46 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269980

Links

PhilArchive



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

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

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus.G. E. Mints & A. O. Slisenko - 1971 - Journal of Symbolic Logic 36 (3):525-525.
Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
Basics of Second-Order Predicate Logic.Nijaz Ibrulj - 2023 - The Logical Foresight 3 (1):1-14.
Predicate calculus with free quantifier variables.Richmond H. Thomason & D. Randolph Johnson Jr - 1969 - Journal of Symbolic Logic 34 (1):1-7.
G. Mints and R. Muskens (editors), Games, logic, and constructive sets.Ian Hodkinson - 2005 - Bulletin of Symbolic Logic 11 (3):439-442.
Predicate calculus with free quantifier variables.Richmond H. Thomason & D. Randolph Johnson - 1969 - Journal of Symbolic Logic 34 (1):1-7.
A Proof-theoretic Study Of The Correspondence Of Classical Logic And Modal Logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Minc G. É.. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 783–786.Minc G. É.. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by Goss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1712–1715. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-525.
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus.G. E. Mints - 1969 - Journal of Symbolic Logic 36 (3):47--51.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.

Analytics

Added to PP
2014-01-31

Downloads
10 (#1,205,838)

6 months
3 (#1,207,367)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof theory in the USSR 1925–1969.Grigori Mints - 1991 - Journal of Symbolic Logic 56 (2):385-424.

Add more citations

References found in this work

No references found.

Add more references