Open formulas and the empty domain (Q5571681): Difference between revisions

@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantification theory and empty individual-domains
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+On Tarski's formalization of predicate logic with identity
+Normal rank
@@ Property / cites work @@
+On Meyer and Lambert's quantificational calculus FQ
+Normal rank
@@ Property / cites work @@
+Completeness theorems for some presupposition-free logics
+Normal rank
@@ Property / cites work @@
+On the definition of ‘formal deduction’
@@ Property / cites work: On the definition of ‘formal deduction’ / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of proof in the pure functional calculus of the first order
+Normal rank
@@ Property / cites work @@
+Quantification and the empty domain
@@ Property / cites work: Quantification and the empty domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3276695
@@ Property / cites work: Q3276695 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1980017601
@@ Property / OpenAlex ID: W1980017601 / rank @@
+Normal rank