Constructive canonicity for lattice-based fixed point logics
Willem Conradie (University of Johannesburg)
Andrew Craig (University of Johannesburg)
Alessandra Palmigiano (University of Johannesburg, TU Delft - Ethics & Philosophy of Technology)
Z. Zhao (TU Delft - Ethics & Philosophy of Technology)
More Info
expand_more
Abstract
In the present paper, we prove canonicity results for lattice-based fixed point logics in a constructive meta-theory. Specifically, we prove two types of canonicity results, depending on how the fixed-point binders are interpreted. These results smoothly unify the constructive canonicity results for inductive inequalities, proved in a general lattice setting, with the canonicity results for fixed point logics on a bi-intuitionistic base, proven in a non-constructive setting.
No files available
Metadata only record. There are no files for this record.