Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “On 2nd order intuitionistic propositional calculus with full comprehension.”
Predicate calculus of arbitrarily high finite order.
Set theory in predicate calculus with equality
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
1 - Consistency and Faithful Interpretations.
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Definitions.
Rolf Schock (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A liberated version of S5.
R. Meyer, H. Leblanc, K. Lambert (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on k-axiomatisations of identity.
Joan Rand Moschovakis (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Some generalized Sheffer functions.
S., Abian, A. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Remark on Equational Completeness.
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The role of the omitting types theorem in infinitary logic.
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Open formulas and the empty domain.
H. Leblanc, R.K. Meyer (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Disjunctive properties of intuitionistic systems.
B. Scarpellini (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: