Solution to a problem of Ono and Komori

DOI10.1007/BF00296176zbMath0679.03024MaRDI QIDQ5966494

John K. Slaney

Publication date: 1989

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

zbMATH Keywords

cut eliminationGentzen systemscontractionless logicTWBCK logicBCC logiccontraction-free logics

Mathematics Subject Classification ID

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

Related Items (2)

A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Cut-elimination for a logic with definitions and induction

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