Back to Search Start Over

Free L-algebras

Authors :
Alfred Horn
Source :
Journal of Symbolic Logic. 34:475-480
Publication Year :
1969
Publisher :
Cambridge University Press (CUP), 1969.

Abstract

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.

Details

ISSN :
19435886 and 00224812
Volume :
34
Database :
OpenAIRE
Journal :
Journal of Symbolic Logic
Accession number :
edsair.doi...........5b3a40c323634e35415a1e5f8a517180
Full Text :
https://doi.org/10.2307/2270910