Distributive Substructural Logics as Coalgebraic Logics over Posets.

Marta Blkov, Rostislav Horck, Jir Velebil

Browse the full AiML paper archive.