Subformula Linking as an Interaction Method
From MaRDI portal
Publication:5327358
DOI10.1007/978-3-642-39634-2_28zbMath1317.68204OpenAlexW186972188MaRDI QIDQ5327358
Publication date: 7 August 2013
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00937009/file/formula_linking.pdf
Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (2)
On the Power of Substitution in the Calculus of Structures ⋮ Subformula linking for intuitionistic logic with application to type theory
This page was built for publication: Subformula Linking as an Interaction Method
