Labelled sequent calculus for inquisitive logic
type: Item
instance of: scholarly article
title: Labelled sequent calculus for inquisitive logic
zbMATH Open document ID: 1429.03124
DOI: 10.1007/978-3-662-55665-8_36
author: Jinsheng Chen
author: Minghui Ma
publication date: 2017-11-22T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6810804
zbMATH Keywords: inquisitive logic
zbMATH Keywords: labelled sequent calculus
zbMATH Keywords: cut elimination
MaRDI profile type: Publication
full work available at URL: 978-3-662-55665-8 36
OpenAlex ID: W2747538788
description: scientific article; zbMATH DE number 6810804