Page 277 - Leech, Jonathan E. 2020. Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond. Koper: University of Primorska Press
P. 277
Bibliography
A. Bauer and K. Cvetko-Vah
[2013] Stone duality for skew Boolean intersection algebras, Houston Journal of Mathematics
39, 73 – 109.
A. Bauer, K. Cvetko-Vah, M. Gerkhe, G. Kudryatseva and S. van Gool
[2013] A noncommutative Priestly duality, Topology and Applications 160, 1423 – 1438.
J. Berendsen, D. Jansen, J. Schmaltz and F. Vaandrager
[2010] The axiomatization of overriding and update, J. of Applied Logic, 8, 141–150.
R. J. Bignall
[1976] Quasiprimal varieties and components of universal algebras, Dissertation, The Flinders
University of South Australia.
[1991] Non-commutative multiple-valued logic, Proc. of the 21st International Symposium on
Multiple-valued Logic, IEEE Computer Society Press, 49 – 54.
R. J. Bignall and J. E. Leech
[1995] Skew Boolean algebras and discriminator varieties, Algebra Universalis 33, 387 – 398.
R. J. Bignall and M. Spinks
[1996] Propositional skew Boolean logic, Proc. 26th International Symposium on Multiple-
valued Logic, IEEE Computer Soc. Press, 43 – 48.
[1997] Multiple-valued logic as a programming language, Proc. 27th International Symposium
on Multiple-valued Logic, IEEE Computer Soc. Press, 227 – 232.
[1998] Multiple-valued logics for theorem-proving in first order logic with equality, Proc. 28th
Int. Symposium on Multiple-valued Logic, IEEE Computer Soc. Press, 102-107.
[2003] Implicative BCS-algebra subreducts of skew Boolean algebras, Scientiae Mathematicae
Japonicae, 58, 629 – 638.
275
A. Bauer and K. Cvetko-Vah
[2013] Stone duality for skew Boolean intersection algebras, Houston Journal of Mathematics
39, 73 – 109.
A. Bauer, K. Cvetko-Vah, M. Gerkhe, G. Kudryatseva and S. van Gool
[2013] A noncommutative Priestly duality, Topology and Applications 160, 1423 – 1438.
J. Berendsen, D. Jansen, J. Schmaltz and F. Vaandrager
[2010] The axiomatization of overriding and update, J. of Applied Logic, 8, 141–150.
R. J. Bignall
[1976] Quasiprimal varieties and components of universal algebras, Dissertation, The Flinders
University of South Australia.
[1991] Non-commutative multiple-valued logic, Proc. of the 21st International Symposium on
Multiple-valued Logic, IEEE Computer Society Press, 49 – 54.
R. J. Bignall and J. E. Leech
[1995] Skew Boolean algebras and discriminator varieties, Algebra Universalis 33, 387 – 398.
R. J. Bignall and M. Spinks
[1996] Propositional skew Boolean logic, Proc. 26th International Symposium on Multiple-
valued Logic, IEEE Computer Soc. Press, 43 – 48.
[1997] Multiple-valued logic as a programming language, Proc. 27th International Symposium
on Multiple-valued Logic, IEEE Computer Soc. Press, 227 – 232.
[1998] Multiple-valued logics for theorem-proving in first order logic with equality, Proc. 28th
Int. Symposium on Multiple-valued Logic, IEEE Computer Soc. Press, 102-107.
[2003] Implicative BCS-algebra subreducts of skew Boolean algebras, Scientiae Mathematicae
Japonicae, 58, 629 – 638.
275
