A Remark on Equational Completeness.
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “On the universal completeness of classes of relational systems.”
A Remark on Equational Completeness.
Some generalized Sheffer functions.
S., Abian, A. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Definitions.
Rolf Schock (1965)
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:
Prefix classes of Krom formulae with identity.
S.O. Aanderaa, E. Börger (1982)
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:
A liberated version of S5.
R. Meyer, H. Leblanc, K. Lambert (1969)
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:
Two Examples of Algorithms.
Haskell B. Curry (1964/65)
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:
Synthetic compontents of infinite classes of postulates.
Pavel Tichy (1971)
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: