D. Parrochia, „Formalizacja boolowska i intuicjonistyczna logiki heglowskiej“, FPhil, Nr. 7, S. 111–123, Jan. 1990.