A simple sequent calculus for Angell's logic of analytic containment (Q1685482): Difference between revisions

@@ Property / cites work @@
+Angellic content
@@ Property / cites work: Angellic content / rank @@
+Normal rank
@@ Property / cites work @@
+Annual Meeting of the Association for Symbolic Logic, Washington, DC 1977
+Normal rank
@@ Property / cites work @@
+A story semantics for implication
@@ Property / cites work: A story semantics for implication / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for analytic containment
@@ Property / cites work: Semantics for analytic containment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3099308
@@ Property / cites work: Q3099308 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE LOGIC OF FACTUAL EQUIVALENCE
@@ Property / cites work: ON THE LOGIC OF FACTUAL EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent analytic implication
@@ Property / cites work: Paraconsistent analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+False though partly true -- an experiment in logic
+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 @@
+Analytic implication
@@ Property / cites work: Analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+A note on partial content
@@ Property / cites work: A note on partial content / 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 @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Belnap's Logic via De Morgan's Laws
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank