A cut-free sequent calculus for relevant logic RW

DOI10.1093/jigpal/jzu009zbMath1343.03019OpenAlexW2327979154MaRDI QIDQ5172146

Mirjana Ilić, Branislav R. Boričić

Publication date: 12 February 2015

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

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

zbMATH Keywords

sequent calculusdecidabilityrelevant logiccut-eliminationdisjunction property

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

An alternative Gentzenisation of RW+∘ ⋮ Sequent calculus for classical logic probabilized ⋮ A cut-elimination proof in positive relevant logic with necessity

This page was built for publication: A cut-free sequent calculus for relevant logic RW