Disjunctive properties of intuitionistic systems.
B. Scarpellini (1974)
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 “Measures of centrality and complexity for partial propositional calculi.”
Disjunctive properties of intuitionistic systems.
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction. II.
R. Montague, D. Kalish (1957)
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:
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:
A liberated version of S5.
R. Meyer, H. Leblanc, K. Lambert (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:
On the decidability of p', p'' and p''*.
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (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: