VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695): Difference between revisions

@@ Property / cites work @@
+Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
+Normal rank
@@ Property / cites work @@
+Sequent-systems for modal logic
@@ Property / cites work: Sequent-systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On permuting cut with contraction
@@ Property / cites work: On permuting cut with contraction / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntactic Proof of Cut‐Elimination For GL<sub>lin</sub>
+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 @@
+The modal logic of provability: cut-elimination
@@ Property / cites work: The modal logic of provability: cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+\(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On modal systems having arithmetical interpretations
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen-type system for the modal logic S5
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof theory of the modal logic for arithmetic provability
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Relations between propositional normal modal logics: an overview
+Normal rank
@@ Property / cites work @@
+A proof of Gentzen's \textit{Hauptsatz} without multicut
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020311000323
+Normal rank
@@ Property / OpenAlex ID @@
+W2102143997
@@ Property / OpenAlex ID: W2102143997 / rank @@
+Normal rank