scientific article; zbMATH DE number 6792341

DOI10.4230/LIPICS.FSCD.2016.8zbMath1387.03027arXiv1404.6037MaRDI QIDQ5369473

Ryuta Arisaka

Publication date: 17 October 2017

Full work available at URL: https://arxiv.org/abs/1404.6037

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

BIcut eliminationsequent calculusproof theorylogic combinationcontraction-freeness

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combined logics (03B62)

This page was built for publication: