Zobrazeno 1 - 10
of 864
pro vyhledávání: '"Negation introduction"'
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
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
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
