Subminimal negation
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-016-2391-8
Abstract: Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic… read more here.
Keywords: logic; intuitionistic logic; minimal logic; negation ... See more keywords
Intuitionism and the Modal Logic of Vagueness
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-019-09507-x
Abstract: Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic… read more here.
Keywords: intuitionistic logic; modal logic; vagueness; logic ... See more keywords