Synthesized substructural logics

DOI10.1002/MALQ.200610036zbMATH Open1121.03029OpenAlexW2062173321MaRDI QIDQ5293191FDOQ5293191

Authors: Norihiro Kamide 

Publication date: 26 June 2007

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200610036

Recommendations

• Substructural Logics in Natural Deduction
• scientific article; zbMATH DE number 591901
• Combinatory logic and the semantics of substructural logics
• scientific article; zbMATH DE number 1377699
• Substructural implicational logics including the relevant logic E

zbMATH Keywords

cut-eliminationcombining logicssubstructual logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Title not available (Why is that?)

Cited In (5)

• Current trends in substructural logics
• Substructural logics with mingle
• Relevance Principle for Substructural Logics with Mingle and Strong Negation
• Interpolation via translations
• Advancements in resource-driven substructural defeasible logic

This page was built for publication: Synthesized substructural logics

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