Varieties of linear calculi (Q1868337): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
+Normal rank
@@ Property / cites work @@
+Permutability of proofs in intuitionistic sequent calculi
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397029
@@ Property / cites work: Q4397029 / rank @@
+Normal rank
@@ Property / cites work @@
+A normalizing system of natural deduction for intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Sequent calculus in natural deduction style
@@ Property / cites work: Sequent calculus in natural deduction style / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939407
@@ Property / cites work: Q4939407 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction with general elimination rules
@@ Property / cites work: Natural deduction with general elimination rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877107
@@ Property / cites work: Q4877107 / rank @@
+Normal rank