Results 271 to 280 of about 36,760 (309)
Some of the next articles are maybe not open access.
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 2003
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized.
openaire +1 more source
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized.
openaire +1 more source
2020
AbstractThis chapter discusses the well-known dichotomies between sentence negation and constituent negation on the one hand and external negation and internal negation on the other hand. It explains how the notions differ and where they show overlap. Crucial in this discussion is the presentation and critical review of some of the most relevant tests ...
openaire +2 more sources
AbstractThis chapter discusses the well-known dichotomies between sentence negation and constituent negation on the one hand and external negation and internal negation on the other hand. It explains how the notions differ and where they show overlap. Crucial in this discussion is the presentation and critical review of some of the most relevant tests ...
openaire +2 more sources
2020
Negative markers are not a uniform category. They come in various types and, depending on their type, they take scope over a clause, a phrase, or just a word. Low scope negative markers (LSN) like de-, dis-, un-, iN-, non-, -less are bound morphemes and have therefore been mainly studied within morphology, focusing on the semantics of these markers ...
openaire +2 more sources
Negative markers are not a uniform category. They come in various types and, depending on their type, they take scope over a clause, a phrase, or just a word. Low scope negative markers (LSN) like de-, dis-, un-, iN-, non-, -less are bound morphemes and have therefore been mainly studied within morphology, focusing on the semantics of these markers ...
openaire +2 more sources
Journal of Applied Non-Classical Logics, 2012
The logical structure derived from the algebra of generalised projection operators on a module is investigated. With the assumption of the operators being linear, the associated logic becomes Boolean, while without the assumption, the logic does not admit negation: the concept of linearity of projection operators on a module corresponds to that of ...
openaire +1 more source
The logical structure derived from the algebra of generalised projection operators on a module is investigated. With the assumption of the operators being linear, the associated logic becomes Boolean, while without the assumption, the logic does not admit negation: the concept of linearity of projection operators on a module corresponds to that of ...
openaire +1 more source
Paraconsistent Double Negations as Classical and Intuitionistic Negations
Studia Logica, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Exponential negation of a probability distribution
Soft Computing, 2022Yong Deng, Naixue Xiong
exaly
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023
Witold Pedrycz, Fuyuan Xiao
exaly
Witold Pedrycz, Fuyuan Xiao
exaly