On Definitions.
Rolf Schock (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A Remark on Equational Completeness.”
On Definitions.
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 liberated version of S5.
R. Meyer, H. Leblanc, K. Lambert (1969)
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 orderings of the family of all logics.
M. Krynicki, J. Väänänen (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Two Examples of Algorithms.
Haskell B. Curry (1964/65)
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:
The ...-Consistency of Ramified Analysis.
Charles Parsons (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: