Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
From MaRDI portal
Publication:3460620
DOI10.1007/978-3-319-24704-5_8zbMath1471.03055OpenAlexW2201092569MaRDI QIDQ3460620
Fredrik Dahlqvist, David J. Pym
Publication date: 8 January 2016
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/25046756/DahlqvistPym.pdf
Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (4)
Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Unnamed Item ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Unnamed Item
This page was built for publication: Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective