Defining formal explanation in classical logic by substructural derivability (Q2117787): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-80049-9_22
+Normal rank
@@ Property / OpenAlex ID @@
+W3183926297
@@ Property / OpenAlex ID: W3183926297 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of cut elimination
@@ Property / cites work: Algebraic aspects of cut elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q2873772
@@ Property / cites work: Q2873772 / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICAL GROUNDS
@@ Property / cites work: LOGICAL GROUNDS / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical explanation: problems and prospects.
@@ Property / cites work: Mathematical explanation: problems and prospects. / rank @@
+Normal rank
@@ Property / cites work @@
+Explanation in artificial intelligence: insights from the social sciences
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Q5226130
@@ Property / cites work: Q5226130 / rank @@
+Normal rank
@@ Property / cites work @@
+On defining the notion of complete and immediate formal grounding
+Normal rank
@@ Property / cites work @@
+On constructing a logic for the notion of complete and immediate formal grounding
+Normal rank
@@ Property / cites work @@
+Q5871536
@@ Property / cites work: Q5871536 / rank @@
+Normal rank
@@ Property / cites work @@
+BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS
+Normal rank
@@ Property / cites work @@
+A LOGIC FOR ‘BECAUSE’
@@ Property / cites work: A LOGIC FOR ‘BECAUSE’ / rank @@
+Normal rank