Formalized meta-theory of sequent calculi for substructural logics (Q1744443): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2017.04.005
@@ Property / DOI: 10.1016/j.entcs.2017.04.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Abella
@@ Property / describes a project that uses: Abella / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317596
@@ Property / Wikidata QID: Q113317596 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2017.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2650704808
@@ Property / OpenAlex ID: W2650704808 / rank @@
+Normal rank
@@ Property / cites work @@
+Abella: A System for Reasoning about Relational Specifications
+Normal rank
@@ 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 @@
+Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
+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 @@
+VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
+Normal rank
@@ Property / cites work @@
+Structural Focalization
@@ Property / cites work: Structural Focalization / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Cut Elimination of Coalgebraic Logics in Coq
+Normal rank
@@ Property / cites work @@
+Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2017.04.005
@@ Property / DOI: 10.1016/J.ENTCS.2017.04.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1744443