Axiomatizing the skew Boolean propositional calculus (2007)

by R Veroff, M Spinks
Venue:J. Automat. Reason