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

@@ Property / DOI @@
-.1007/s11225-017-9719-y
@@ Property / DOI: 10.1007/s11225-017-9719-y / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-017-9719-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2607492266
@@ Property / OpenAlex ID: W2607492266 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11225-017-9719-Y
@@ Property / DOI: 10.1007/S11225-017-9719-Y / rank @@
+Normal rank