Untyping Typed Algebras and Colouring Cyclic Linear Logic

DOI10.2168/LMCS-8(2:13)2012zbMath1241.03009arXiv1205.3612OpenAlexW1985731744MaRDI QIDQ2895474

Damien Pous

Publication date: 3 July 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1205.3612

zbMATH Keywords

sequent calculusproof searchdecision proceduresKleene algebrainvolutive residuated latticescyclic linear logictyped algebra

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Untyping Typed Algebras and Colouring Cyclic Linear Logic