Abstract
There are different treatments of the semantics of negation in non-classical logics, the most familiar of which is probably the Kripke definition of negation for intuitionistic logic. In two recent papers I have explored generalizations of Goldblatt’s semantics for negation in orthologic (which uses the perp relation), and related these to the Kripke definition of negation for intuitonistic logic, and to the definition of De Morgan negation in relevance logic (which standardly uses the ‘star operator’ *). The present paper in part surveys this earlier work, but the main focus is to connect the alternative four-valued semantics of De Morgan negation (using ‘overdetermined’ and ‘underdetermined’ truth values) to the star semantics (and hence indirectly to the perp semantics). This connection is based on semi-published work of mine from the 1960’s.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
