Angellic content (Q288248): Difference between revisions

@@ Property / cites work @@
+A new theory of content. II: Model theory and some alternatives
+Normal rank
@@ Property / cites work @@
+Q4530614
@@ Property / cites work: Q4530614 / rank @@
+Normal rank
@@ Property / cites work @@
+POWER STRUCTURES AND LOGIC
@@ Property / cites work: POWER STRUCTURES AND LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for analytic containment
@@ Property / cites work: Semantics for analytic containment / rank @@
+Normal rank
@@ Property / cites work @@
+Faulty Belnap computers and subsystems of FDE
@@ Property / cites work: Faulty Belnap computers and subsystems of FDE / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and arbitrary objects
@@ Property / cites work: Natural deduction and arbitrary objects / rank @@
+Normal rank
@@ Property / cites work @@
+Truth-maker semantics for intuitionistic logic
@@ Property / cites work: Truth-maker semantics for intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+False though partly true -- an experiment in logic
+Normal rank
@@ Property / cites work @@
+Q3999247
@@ Property / cites work: Q3999247 / rank @@
+Normal rank