4 research outputs found
Coalgebraic completeness-via-canonicity for distributive substructural logics
We prove strong completeness of a range of substructural logics with respect
to a natural poset-based relational semantics using a coalgebraic version of
completeness-via-canonicity. By formalizing the problem in the language of
coalgebraic logics, we develop a modular theory which covers a wide variety of
different logics under a single framework, and lends itself to further
extensions. Moreover, we believe that the coalgebraic framework provides a
systematic and principled way to study the relationship between resource models
on the semantics side, and substructural logics on the syntactic side.Comment: 36 page
Some Sahlqvist Completeness Results for Coalgebraic Logics
This paper presents a first step towards completeness-via-canonicity results for coalgebraic modal logics. Specifically, we consider the relationship between classes of coalgebras for 蠅-accessible endofunctors and logics defined by Sahlqvist-like frame