A liberated version of S5.
R. Meyer, H. Leblanc, K. Lambert (1969)
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the strength of several versions of Dirichlet's ('Pigeon-Hole'-) principle in the sense of first-order logic.”
A liberated version of S5.
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:
1 - Consistency and Faithful Interpretations.
G. Kreisel, S. Feferman (1962/63)
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:
Open formulas and the empty domain.
H. Leblanc, R.K. Meyer (1969)
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:
Disjunctive properties of intuitionistic systems.
B. Scarpellini (1974)
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:
Remark on complete interpretations by models.
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: