Fibred tableaux for multi-implication logics (Q4645223): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61208-4_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2165627128
@@ Property / OpenAlex ID: W2165627128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
+Normal rank
@@ Property / cites work @@
+Fibred semantics for feature-based grammar logic
@@ Property / cites work: Fibred semantics for feature-based grammar logic / rank @@
+Normal rank
@@ Property / cites work @@
+Grafting modalities onto substructural implication systems
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+Combining temporal logic systems
@@ Property / cites work: Combining temporal logic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank