We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of
logics algebraically captured by varieties of normal and regular lattice expansions. This …

We introduce a proper multi-type display calculus for semi De Morgan logic which is sound,
complete, conservative, and enjoys cut-elimination and subformula property. Our proposal …

We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound,
complete, conservative, and enjoys cut-elimination and subformula property. Properness (ie …

Semi De Morgan algebras form a variety of normal distributive lattice expansions [7]
introduced by HP Sankappanavar [16] as a common abstraction of De Morgan algebras and …

Modular proof theory for axiomatic extension and expansions of lattice logic Page 1 Modular
proof theory for axiomatic extension and expansions of lattice logic Giuseppe Greco (joint work …