Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559): Difference between revisions

@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for S5: The Methods of Cut Elimination
+Normal rank
@@ Property / cites work @@
+Q5413334
@@ Property / cites work: Q5413334 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminability of cut in hypersequent calculi for some modal logics of linear frames
+Normal rank
@@ Property / cites work @@
+LINEAR TIME IN HYPERSEQUENT FRAMEWORK
@@ Property / cites work: LINEAR TIME IN HYPERSEQUENT FRAMEWORK / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
+Normal rank
@@ Property / cites work @@
+Linear Nested Sequents, 2-Sequents and Hypersequents
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank