• DocumentCode
    185910
  • Title

    Da Costa logics and vagueness

  • Author

    Akama, Seiki ; Murai, Takashi ; Kudo, Yasuo

  • fYear
    2014
  • fDate
    22-24 Oct. 2014
  • Firstpage
    1
  • Lastpage
    6
  • 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.
  • Keywords
    formal logic; rough set theory; Da Costa logics; intuitionistic Kripke model; logic for vagueness; Approximation methods; Cognition; Electronic mail; Modeling; Rough sets; Semantics; Da Costa logic; boundary; regular core; rough set; sub-body; vagueness;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Granular Computing (GrC), 2014 IEEE International Conference on
  • Conference_Location
    Noboribetsu
  • Type

    conf

  • DOI
    10.1109/GRC.2014.6982797
  • Filename
    6982797
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=185910