Zobrazeno 1 - 10
of 281
pro vyhledávání: '"Negation introduction"'
Publikováno v:
Journal of Philosophical Logic, 47(2), 281. Springer Netherlands
There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f591de21fcdafad32bcff39d1bba02b
https://doi.org/10.1007/s10992-017-9427-0
https://doi.org/10.1007/s10992-017-9427-0
Autor:
Miguel López-Astorga
Publikováno v:
Rupkatha Journal on Interdisciplinary Studies in Humanities. 8:21-29
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7aec5d4c2d5d2a198ae28a261dd1352c
https://doi.org/10.21659/rupkatha.v8n4.04
https://doi.org/10.21659/rupkatha.v8n4.04
Publikováno v:
Computational Linguistics. 42:637-660
Logical negation is a challenge for distributional semantics, because predicates and their negations tend to occur in very similar contexts, and consequently their distributional vectors are very similar. Indeed, it is not even clear what properties
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a5aebe2214c4848822d8f7897f2a6e8
https://doi.org/10.1162/coli_a_00262
https://doi.org/10.1162/coli_a_00262
Autor:
Miguel López Astorga
Publikováno v:
Studies in Logic, Grammar and Rhetoric, Vol 46, Iss 1, Pp 143-153 (2016)
Miguel López Astorga
Miguel López Astorga
The double negation has always been considered by the logical systems from ancient times to the present. In fact, that is an issue that the current syntactic theories studying human reasoning, for example, the mental logic theory, address today. Howe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b0f282efe7aa0218c640e3b48e0f989
https://doi.org/10.1515/slgr-2016-0037
https://doi.org/10.1515/slgr-2016-0037
Autor:
François Lepage
Publikováno v:
Logica Universalis. 10:327-338
In this paper, we introduce a Hilbert style axiomatic calculus for intutionistic logic with strong negation. This calculus is a preservative extension of intuitionistic logic, but it can express that some falsity are constructive. We show that the in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a634417d3349a65be68688bd08f4688
https://doi.org/10.1007/s11787-016-0144-1
https://doi.org/10.1007/s11787-016-0144-1
Autor:
Juan Manuel Cornejo, Ignacio Viglizzo
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1d05f001dc8ab11b76b39e94407f52d
https://link.springer.com/article/10.1007/s11225-017-9737-9
https://link.springer.com/article/10.1007/s11225-017-9737-9
Autor:
Michael De, Hitoshi Omori
Publikováno v:
Studia Logica. 103:825-851
It is known that classical negation can be recovered in some systems of non-classical logics, such as paraconsistent logic and many-valued logic. However, the notion of classical negation needs to be examined carefully. Indeed, it is often thought th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac6af543230c19e79015a463261877b5
https://doi.org/10.1007/s11225-014-9595-7
https://doi.org/10.1007/s11225-014-9595-7
Autor:
Francesco Berto
Publikováno v:
Mind, 124(495), 761-793. Oxford University Press
I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6452b034755f0d8d5556818da4c2d3c7
https://doi.org/10.1093/mind/fzv026
https://doi.org/10.1093/mind/fzv026
Autor:
Igor B. Fominykh, Mikhail M. Vinkov
Publikováno v:
Advances in Electrical and Electronic Engineering, Vol 15, Iss 1, Pp 84-92 (2017)
This paper formulates a stepping theory formalism with two kinds of negation dealing with one of the areas of Active Logic, a new kind of logic aimed at performing practical tasks in real time knowledge-based AI systems. In addition to the standard l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3587f62d3d8a5c24f28dbfab06959c9d
https://doi.org/10.15598/aeee.v15i1.1990
https://doi.org/10.15598/aeee.v15i1.1990