Cut-elimination for weak Grzegorczyk logic Go (Q2016062): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-012-9432-9
@@ Property / DOI: 10.1007/s11225-012-9432-9 / 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-012-9432-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2084145796
@@ Property / OpenAlex ID: W2084145796 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free tableau calculi for some propositional normal modal logics
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Proof Theory of the Modal Logic Grz
@@ Property / cites work: On the Proof Theory of the Modal Logic Grz / rank @@
+Normal rank
@@ Property / cites work @@
+On some proof theoretical properties of the modal logic GL
+Normal rank
@@ Property / cites work @@
+The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086940
@@ Property / cites work: Q3086940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411417
@@ Property / cites work: Q5411417 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination for S4C: A case study
@@ Property / cites work: Cut elimination for S4C: A case study / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of provability: cut-elimination
@@ Property / cites work: The modal logic of provability: cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Gentzen's \textit{Hauptsatz} without multicut
+Normal rank
@@ Property / DOI @@
+.1007/S11225-012-9432-9
@@ Property / DOI: 10.1007/S11225-012-9432-9 / rank @@
+Normal rank