A liberated version of S5.
R. Meyer, H. Leblanc, K. Lambert (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Open formulas and the empty domain.”
A liberated version of S5.
A note on k-axiomatisations of identity.
Joan Rand Moschovakis (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Definitions.
Rolf Schock (1965)
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:
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:
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:
Disjunctive properties of intuitionistic systems.
B. Scarpellini (1974)
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:
A Note Concerning the Rules of Inference for Quantifiers.
Roman Suszko (1964/65)
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:
Compact and ...-compact formulas in L..., ...
Bonnie Gold (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: