Jego prace miały znaczący wpływ w matematyce, logice, teorii mnogości, lingwistyce, sztucznej inteligencji, kognitywistyce, informatyce oraz filozofii, w szczególności filozofii języka, epistemologii oraz metafizyce.
pl.wikipedia.org W logice parakonsystentnej to nie następuje – w parakonsystentnym rachunku zdań zasada niesprzeczności nie jest tautologią.
pl.wikipedia.org W logice średniowiecznej wykształcił się dział zwany proprietates terminorum, badający takie własności terminów, jak supozycja, significatio, copulatio czy appellatio.
pl.wikipedia.org Definicja niepredykatywna – w logice matematycznej definicja zawierająca element samoodniesienia.
pl.wikipedia.org Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej).
pl.wikipedia.org