Proto-semantics for positive free logic (Q1576387): Difference between revisions

@@ Property / cites work @@
+Q4342084
@@ Property / cites work: Q4342084 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010354
@@ Property / cites work: Q4010354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4345940
@@ Property / cites work: Q4345940 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117804
@@ Property / cites work: Q4117804 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness theorems for some presupposition-free logics
+Normal rank
@@ Property / cites work @@
+Q5661323
@@ Property / cites work: Q5661323 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential import revisited
@@ Property / cites work: Existential import revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Free logic and the concept of existence
@@ Property / cites work: Free logic and the concept of existence / rank @@
+Normal rank
@@ Property / cites work @@
+Strict Fregean free logic
@@ Property / cites work: Strict Fregean free logic / rank @@
+Normal rank
@@ Property / cites work @@
+Universally free logic and standard quantification theory
+Normal rank
@@ Property / cites work @@
+On supervaluations in free logic
@@ Property / cites work: On supervaluations in free logic / rank @@
+Normal rank