Back to Search
Start Over
Free L-algebras
- 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