Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Sub-classical Boolean Bunched Logics and the Meaning of Par - MaRDI portal

Sub-classical Boolean Bunched Logics and the Meaning of Par

From MaRDI portal

Publication:5351966

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2015.325zbMath1373.03042OpenAlexW2257979093MaRDI QIDQ5351966

James Brotherston, Jules Villard

Publication date: 31 August 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2015.325

zbMATH Keywords

modal logic linear logic model theory Kripke semantics bunched logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Combined logics (03B62)

Related Items (5)

A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Effect algebras, Girard quantales and complementation in separation logic ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Sub-classical Boolean Bunched Logics and the Meaning of Par

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5351966&oldid=20056071"