RELMICS   2015 International Seminar on the Use of Relational Methods in Computer Science
Wall of Fame | Most Viewed RELMICS-2015 Paper
3 years 5 days ago
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-viacanonicity. Speci´Čücally, we use the topological theo...
Fredrik Dahlqvist, David J. Pym
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source21
2Download preprint from source15
3Download preprint from source14
4Download preprint from source11