Wyniki
-
Comments on the logic of constructible falsity : strong negation
Allen Hazen
Bulletin of the Section of Logic , 9 /1 (1980) s. 10-15 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192