MathematicsComputer Science

Boolean deductive systems of BL-algebras

E. Turunen

2001.8.1ARCHIVE FOR MATHEMATICAL LOGIC

DOI: 10.1007/s001530100088

tlooto Summary

Boolean ds and implicative ds of BL-algebras are defined and studied and the following are proved to be equivalent: (i) a dsD is implicative, (ii) D is Boolean, (iii) L/D is a Boolean algebra.

Abstract

Abstract is not available.

Citation format

TURUNEN, E. Boolean deductive systems of BL-algebras. ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40: 467–473.