Solution to a problem of Ono and Komori
From MaRDI portal
Publication:5966494
DOI10.1007/BF00296176zbMath0679.03024MaRDI QIDQ5966494
Publication date: 1989
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
cut elimination; Gentzen systems; contractionless logic; TW; BCK logic; BCC logic; contraction-free logics
Related Items
Cut-elimination for a logic with definitions and induction, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
Cites Work