Solution to a problem of Ono and Komori

DOI10.1007/BF00296176MaRDI QIDQ5966494zbMATH OpenFDO

Authors 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)

Recommendations

• Solution to a problem of Ono and Komori
• The proof-theoretical analysis of contraction-less relevant logics
• scientific article; zbMATH DE number 823590
• Simple Gentzenizations for the normal formulae of contraction-less logics
• Four relevant Gentzen systems

Cites work

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

Cited in

(9)

• scientific article; zbMATH DE number 3926850 (Why is no real title available?)
• On the solution of a problem of Okuyama
• Solution to a problem of Ono and Komori
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• On purported Gentzen formulations of two positive relevant logics
• Gentzenization and decidability of some contraction-less relevant logics
• Solutions to some open problems from Slaney
• Cut-elimination for a logic with definitions and induction
• Correction to: ``Solution to a problem of Ono and Komori

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 Q5966494)