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
A basic quasi-Boolean logic of intuitionistic character
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2020.1826155
Abstract: The logic B is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3… read more here.
Keywords: boolean logic; basic quasi; intuitionistic character; quasi boolean ... See more keywords