Solution to a problem of Ono and Komori

DOI10.1007/BF00296176zbMATH Open0671.03036MaRDI QIDQ5903941FDOQ5903941

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)

Cites Work

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

Cited In (10)

• Title not available (Why is that?)
• On the solution of a problem of Okuyama
• Bunched sequential information
• Temporal BI: proof system, semantics and translations
• Gentzenization and decidability of some contraction-less relevant logics
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics
• Cut elimination for a logic with induction and co-induction
• The Role of Structural Reasoning in the Genesis of Graph Theory
• Correction to: ``Solution to a problem of Ono and Komori
• A semantic framework for proof evidence

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Gentzenization and decidability of some contraction-less relevant logics 👍 👎
• Gentzenizations of relevant logics without distribution. I 👍 👎
• Solution to a problem of Ono and Komori 👍 👎
• Survey of generalizations of Urquhart semantics 👍 👎
• A cut-free sequent calculus for relevant logic RW 👍 👎
• Simple Gentzenizations for the normal formulae of contraction-less logics 👍 👎
• A note on the system GRW with the intensional contraction rule 👍 👎

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

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