ABSTRACT

A third approach to the deductive analysis of negation is KQLMOGOROVs 25 interpretation of intuitionistic logic; it consists in introducing the inter­ mediary notion of absurdity, governed by the principle of ex absurdo quodlibet, and then reducing negation to relative ab surdity . It uses again a d istin­ guished absurd proposition, again written as A , and ex absurdo quodlibet is captured in the rule

M = } A M = } v .