Solution to a problem of Ono and Komori

DOI10.1007/BF00296176zbMath0671.03036MaRDI QIDQ5903941

John K. Slaney

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

cut eliminationGentzen systemscontractionless logicRWBCK logicBCC logiccontraction-free logicsdistributive logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) General logic (03B99)

Related Items (6)

Bunched sequential information ⋮ Temporal BI: proof system, semantics and translations ⋮ A semantic framework for proof evidence ⋮ Cut elimination for a logic with induction and co-induction ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ The Role of Structural Reasoning in the Genesis of Graph Theory

Cites Work

• \(TW_+\) and \(RW_+\) are decidable
• Display logic
• Logics without the contraction rule

This page was built for publication: Solution to a problem of Ono and Komori