Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
H. Leblanc, R. H. Thomason (1968)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Schneider, Hubert H. (1961)
Portugaliae mathematica
Similarity:
Nils Kürbis (2019)
Bulletin of the Section of Logic
Similarity:
Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of intuitionist negative free logic extended by such a quantier, which was presented in [4],...
Nils Kürbis (2019)
Bulletin of the Section of Logic
Similarity:
This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ℩x[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity: