Kleene algebras, adjunction and structural control

Authors Giuseppe Greco, Fei Liang, Alessandra Palmigiano

Publication date 19 May 2018

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Heterogeneous algebras (08A68)

Abstract: In the present paper, we introduce a multi-type calculus for the logic of measurable Kleene algebras, for which we prove soundness, completeness, conservativity, cut elimination and subformula property. Our proposal imports ideas and techniques developed in formal linguistics around the notion of structural control.

This page was built for publication: Kleene algebras, adjunction and structural control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6301820)