Substructural logic of proofs

DOI10.1007/978-3-642-39992-3_18MaRDI QIDQ2849432zbMATH OpenOpenAlexFDO

Authors Hidenori Kurokawa, Hirohiko Kushida

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)

Recommendations

• scientific article; zbMATH DE number 823607
• The basic intuitionistic logic of proofs
• A substructural approach to explicit modal logic
• scientific article; zbMATH DE number 1543335
• Logic of proofs and provability

Cited in

(7)

• scientific article; zbMATH DE number 5910658 (Why is no real title available?)
• Propositional proof skeletons
• Substructural logic and partial correctness
• Substructural Logics in Natural Deduction
• A substructural approach to explicit modal logic
• Substructural proofs as automata
• scientific article; zbMATH DE number 823607 (Why is no real title available?)

This page was built for publication: Substructural logic of proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849432)