Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663222 | Journal of Applied Logic | 2007 | 11 Pages |
Abstract
In this paper, I will show that it is possible to delete Ex Falso Quodlibet  from Classical Logic, without depriving it of any of its deductive powers. This is done by means of the ambiguity-adaptive logic AALnsAALns, which is equivalent to dCR, the deductive version of Neil Tennant's CR.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Hans Lycke,