Distributivity in 
& Other Sentential Logics
& Other Sentential Logics
(August 2001 issue of the Journal of Automated Reasoning)
-
John Slaney's follow-up discussion note on our paper. And, my reply to Slaney's note, which settles all of his open questions. Here are the four salient input files for the four theorems in this note
