Incomplete symbols -- definite descriptions revisited (Q253123): Difference between revisions

@@ Property / cites work @@
+Q4023225
@@ Property / cites work: Q4023225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355889
@@ Property / cites work: Q4355889 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+On Free Description Theory
@@ Property / cites work: On Free Description Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772177
@@ Property / cites work: Q5772177 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Logic
@@ Property / cites work: Free Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876402
@@ Property / cites work: Q4876402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank