Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic

DOI10.1007/BF01057936zbMath0813.03015MaRDI QIDQ1337604

Yuichi Komori

Publication date: 10 November 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

cut eliminationsubstructural logicrelevant logicimplicational logicssyntactical proof of a positive solution for the P-W problem

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

ON EQUATIONAL COMPLETENESS THEOREMS ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ A lambda proof of the P-W theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicate logics without the structure rules
• Untersuchungen über das logische Schliessen. I
• Logics without the contraction rule
• Solution to the P − W problem
• Proof theory

This page was built for publication: Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic