Modular tableaux calculi for separation theories
type: Item
instance of: scholarly article
title: Modular tableaux calculi for separation theories
zbMATH Open document ID: 1506.03073
DOI: 10.1007/978-3-319-89366-2_24
author: Simon Docherty
author: David Pym
publication date: 2018-07-17T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6904550
zbMATH Keywords: bunched logic
zbMATH Keywords: coherent logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: proof theory
zbMATH Keywords: separation logic
zbMATH Keywords: separation theories
zbMATH Keywords: substructural logic
zbMATH Keywords: tableaux
MaRDI profile type: Publication
full work available at URL: 978-3-319-89366-2 24
OpenAlex ID: W2788044110
description: scientific article; zbMATH DE number 6904550