A note on the system GRW with the intensional contraction rule

DOI10.1093/jigpal/jzaa002zbMath1498.03053WikidataQ126319368 ScholiaQ126319368MaRDI QIDQ5020358

Branislav R. Boričić, Mirjana Ilić

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 calculus; relevant logic; cut-elimination

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)