Page 282 - Leech, Jonathan E. 2020. Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond. Koper: University of Primorska Press
P. 282
Jonathan E. Leech │ Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond
H. Radjavi
[1985] On the reduction and triangularization of semigroups of operators, J. Operator Theory
13, 65 - 71.
H. Radjavi and P. Rosenthal
[2000] Simultaneous Triangularization, Springer, New York.
M. Spinks
[1998] Automated deduction in non-commutative lattice theory, Tech. Report 3/98, Monash
University, Gippsland, June 1998
[2000] On middle distributivity for skew lattices, Semigroup Forum 61, 341-345.
[2002] Contributions to the Theory of Pre-BCK Algebras, Dissertation, Monash University,
Gippsland.
M. Spinks and R. Veroff
[2006] Axiomatizing the skew Boolean propositional calculus, J. Automated Reasoning 37, 3–20.
H. Yutani
[1977] On a system of axioms of a commutative BCK algebra, Math. Sem. Notes 5, 255 – 256.
280
H. Radjavi
[1985] On the reduction and triangularization of semigroups of operators, J. Operator Theory
13, 65 - 71.
H. Radjavi and P. Rosenthal
[2000] Simultaneous Triangularization, Springer, New York.
M. Spinks
[1998] Automated deduction in non-commutative lattice theory, Tech. Report 3/98, Monash
University, Gippsland, June 1998
[2000] On middle distributivity for skew lattices, Semigroup Forum 61, 341-345.
[2002] Contributions to the Theory of Pre-BCK Algebras, Dissertation, Monash University,
Gippsland.
M. Spinks and R. Veroff
[2006] Axiomatizing the skew Boolean propositional calculus, J. Automated Reasoning 37, 3–20.
H. Yutani
[1977] On a system of axioms of a commutative BCK algebra, Math. Sem. Notes 5, 255 – 256.
280
