Free L-algebras
Alfred Horn · Journal of Symbolic Logic · 1969
Dummett's LC [1] is a system which characterizes all formulas of the propositional calculus which are valid in every chain (for definitions and notation see the first section of [2]). An L-algebra is a Heyting algebra in which (x → y) + (y → x) = 1 for all x, y. L-algebras bear the same relation to LC as Boolean algebras to the classical propositional calculus and Heyting algebras to the intuitionist propositional calculus.