Labelled sequent calculus for inquisitive logic

DOI10.1007/978-3-662-55665-8_36zbMath1429.03124OpenAlexW2747538788MaRDI QIDQ1679793

Jinsheng Chen, Minghui Ma

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_36

zbMATH Keywords

cut eliminationinquisitive logiclabelled sequent calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Labelled sequent calculus for inquisitive logic