Modular tableaux calculi for separation theories

DOI10.1007/978-3-319-89366-2_24zbMath1506.03073OpenAlexW2788044110MaRDI QIDQ1653006

Simon Docherty, David J. Pym

Publication date: 17 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-89366-2_24

zbMATH Keywords

tableauxproof theorysubstructural logicKripke semanticsseparation logicbunched logiccoherent logicseparation theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Semantical analysis of the logic of bunched implications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Modular tableaux calculi for separation theories