Commutative Bounded Integral Residuated Orthomodular Lattices are Boolean Algebras

dc.contributor.author	Tkadlec, Josef
dc.contributor.author	Turunen, Esko
dc.date.accessioned	2015-10-07T07:42:04Z
dc.date.available	2015-10-07T07:42:04Z
dc.date.issued	2011
dc.identifier.citation	•Tkadlec, J. - Turunen, E.: Commutative bounded integral residuated orthomodular lattices are Boolean algebras. Soft Computing. 2011, vol. 15, no. 4, p. 635-636. ISSN 1432-7643.	cze
dc.identifier.issn	1432-7643
dc.identifier.uri	http://hdl.handle.net/10467/62408
dc.description.abstract	We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of [7, Theorem 7.31]; however, our proof is independent and uses other instruments.	cze
dc.language.iso	en	cze
dc.subject	Residuated lattice	cze
dc.subject	Orthomodular lattice	cze
dc.title	Commutative Bounded Integral Residuated Orthomodular Lattices are Boolean Algebras	cze
dc.type	Article	cze
dc.identifier.doi	http://dx.doi.org/10.1007/s00500-010-0572-4