scientific article; zbMATH DE number 1471988

zbMATH Open0963.03002MaRDI QIDQ4489072FDOQ4489072

Authors: Misao Nagayama 

Publication date: 18 June 2001

Title of this publication is not available (Why is that?)

Recommendations

• The normalization theorem for extended natural deduction
• A lambda proof of the P-W theorem
• scientific article; zbMATH DE number 3275554
• Normalization as a consequence of cut elimination
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) 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) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (1)

• A lambda proof of the P-W theorem

This page was built for publication:

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