Contraction-free sequent calculi for intuitionistic logic (Q4032862): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275431
@@ Property / full work available at URL: https://doi.org/10.2307/2275431 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2131739376
@@ Property / OpenAlex ID: W2131739376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient loop detection in prolog using the tortoise-and-hare technique
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / 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 @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank