A finitely Axiomatizable complete theory with atomless F1 (T).
A. Ehrenfeucht, Fuhrken (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “A calculus for finitely satisfiable formulas with identity.”
A finitely Axiomatizable complete theory with atomless F1 (T).
Compact and ...-compact formulas in L..., ...
Bonnie Gold (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A ...-calculus with an algorithmic ... .
G. Longo, M. Venturini Zilli (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
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 the decidability of p', p'' and p''*.
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: