Loading [a11y]/accessibility-menu.js
Da Costa logics and vagueness | IEEE Conference Publication | IEEE Xplore

Da Costa logics and vagueness


Abstract:

Da Costa logic was proposed by Priest, dualizing the truth condition for negation in intuitionistic Kripke model. In this paper, we propose to use da Costa logic as a log...Show More

Abstract:

Da Costa logic was proposed by Priest, dualizing the truth condition for negation in intuitionistic Kripke model. In this paper, we propose to use da Costa logic as a logic for vagueness. We consider some extensions of da Costa logic and discuss the formalization of vagueness. We also compare our logics with Diintsch's rough set logic and Lawvere's ideas of modeling vagueness.
Date of Conference: 22-24 October 2014
Date Added to IEEE Xplore: 15 December 2014
Electronic ISBN:978-1-4799-5464-3
Conference Location: Noboribetsu, Japan

References

References is not available for this document.