Open formulas and the empty domain
暂无分享，去创建一个
[1] R. Montague,et al. On Tarski's formalization of predicate logic with identity , 1965 .
[2] Karel Lambert,et al. Universally free logic and standard quantification theory , 1968, Journal of Symbolic Logic.
[3] Hugues Leblanc,et al. On Meyer and Lambert's quantificational calculus FQ , 1968, Journal of Symbolic Logic.
[4] Hugues Leblanc. Two Shortcomings of Natural Deduction , 1966 .
[5] W. V. Quine,et al. Quantification and the empty domain , 1954, Journal of Symbolic Logic.
[6] Willard Van Orman Quine,et al. Methods of Logic , 1951 .
[7] Theodore Hailperin,et al. Quantification theory and empty individual-domains , 1953, Journal of Symbolic Logic.
[8] Hubert H. Schneider. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains , 1961 .
[9] Richmond H. Thomason,et al. Completeness Theorems for Some Presupposition-Free Logics , 1968 .
[10] Andrzej Mostowski. On the Rules of Proof in the Pure Functional Calculus of the First Order , 1951, J. Symb. Log..
[11] Leon Henkin,et al. The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.
[12] Alonzo Church,et al. A Formulation of the Logic of Sense and Denotation , 1952 .
[13] R. L. Goodstein,et al. Techniques of Deductive Inference , 1967, The Mathematical Gazette.
[14] Leon Henkin,et al. On the Definition of 'Formal Deduction' , 1956, J. Symb. Log..