[PDF][PDF] Constructive canonicity of inductive inequalities
A Palmigiano - Programme and Abstracts, 2018 - lc18.uniud.it
This talk, based on [8], discusses the canonicity of inductive inequalities in a constructive
meta-theory, for classes of logics algebraically captured by varieties of normal and regular …
meta-theory, for classes of logics algebraically captured by varieties of normal and regular …
[PDF][PDF] Constructive Canonicity of Inductive Inequalities
A Palmigiano - Programme and Abstracts, 2018 - researchgate.net
This talk, based on [8], discusses the canonicity of inductive inequalities in a constructive
meta-theory, for classes of logics algebraically captured by varieties of normal and regular …
meta-theory, for classes of logics algebraically captured by varieties of normal and regular …