Substructural Logic of Proofs

DOI10.1007/978-3-642-39992-3_18zbMath1395.03012OpenAlexW142007228MaRDI QIDQ2849432

Hirohiko Kushida, Hidenori Kurokawa

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_18

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Substructural Logic of Proofs