Untitled

0 downloads 0 Views 5MB Size Report
for intuitonistic logic, and Goldblatt's definition of ortho negation in a weak version of ... The Routleys' (1972) definition of De Morgan negation in relevance logic.