LUKASIEWICZ'S TWIN POSSIBILITY FUNCTORSKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 458-460Article

A DEDUCTION THEOREM FOR REJECTION THESES IN LUKASIEWICZ'S SYSTEM OF MODAL LOGICKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 461-464; BIBL. 1 REF.Article

ON SUBSTITUTION FOR VARIABLE ONE-PLACE FUNCTORSKROLIKOSKI SJ.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 243-250; BIBL. 5 REF.Article