Solution to a problem of Ono and Komori

DOI10.1007/BF00296176zbMATH Open0679.03024MaRDI QIDQ5966494FDOQ5966494

John K. Slaney

Publication date: 1989

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

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

zbMATH Keywords

cut eliminationGentzen systemscontractionless logicTWBCK logicBCC logiccontraction-free logics

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 (8)

• Title not available (Why is that?)
• 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
• Gentzenization and decidability of some contraction-less relevant logics
• On purported Gentzen formulations of two positive relevant logics
• 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)