Janusz Czelakowski General Theory of the Commutator for Deductive Systems. Part I. Basic Facts. 183-214 2006 83 Studia Logica 1-3 http://dx.doi.org/10.1007/s11225-006-8303-7 db/journals/sLogica/sLogica83.html#Czelakowski06