[FOM] negation as a non-primitive logical constant

Joao Marcos botocudo at gmail.com
Thu Apr 8 12:04:32 EDT 2010


I was wondering which are the earliest references to be found in the
literature to the "intuitionistic" definition of negation of A in
terms of A implying bottom?

Joao Marcos


More information about the FOM mailing list