Formalized meta-theory of sequent calculi for linear logics (Q2424887): Difference between revisions

@@ Property / cites work @@
+A note on full intuitionistic linear logic
@@ Property / cites work: A note on full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED
+Normal rank
@@ Property / cites work @@
+Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
+Normal rank
@@ Property / cites work @@
+Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric higher-order abstract syntax for mechanized semantics
+Normal rank
@@ Property / cites work @@
+Formalized meta-theory of sequent calculi for substructural logics
+Normal rank
@@ Property / cites work @@
+Abella: A System for Reasoning about Relational Specifications
+Normal rank
@@ Property / cites work @@
+Nominal abstraction
@@ Property / cites work: Nominal abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A two-level logic approach to reasoning about computations
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Formalizing Cut Elimination of Coalgebraic Logics in Coq
+Normal rank
@@ Property / cites work @@
+Structural Focalization
@@ Property / cites work: Structural Focalization / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
+Normal rank