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 MoreMetadata
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