A note on the system GRW with the intensional contraction rule

DOI10.1093/JIGPAL/JZAA002zbMath1498.03053OpenAlexW3011717052WikidataQ126319368 ScholiaQ126319368MaRDI QIDQ5020358

Mirjana Ilić, Branislav R. Boričić

Publication date: 5 January 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzaa002

zbMATH Keywords

sequent calculusrelevant logiccut-elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Solution to a problem of Ono and Komori

This page was built for publication: A note on the system GRW with the intensional contraction rule