On some axiomatic extensions of the monoidal T-norm based logic MTL.
The scientific area this thesis belongs to is many-valued logics: this means logics in which, from the semantical point of view, we have “intermediate” truth-values, between 0 and 1 (which in turns are designated to represent, respectively, the “false” and the “true”). The classical logic (propositi...
Збережено в:
| Автор: | |
|---|---|
| Формат: | Online |
| Мова: | Англійська |
| Опубліковано: |
Ledizioni
2021
|
| Предмети: | |
| Онлайн доступ: | 15501 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| _version_ | 1869525783769251840 |
|---|---|
| author | Matteo Bianchi |
| author_browse | Matteo Bianchi |
| author_facet | Matteo Bianchi |
| author_sort | Matteo Bianchi |
| collection | Directory of Open Access Books |
| description | The scientific area this thesis belongs to is many-valued logics: this means logics in which, from the semantical point of view, we have “intermediate” truth-values, between 0 and 1 (which in turns are designated to represent, respectively, the “false” and the “true”). The classical logic (propositional, for simplicity) is based on the fact that every statement is true or false: this is reflected by the excluded middle law, that is a theorem of this logic. However, there are many reasons that suggest to reject this law: for example, intuitionistic logic does not satisfy it, since this logic reflects a “constructive” conception of mathematics (see [Hey71, Tro69]). |
| format | Online |
| id | doab-20.500.12854ir-55209 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Ledizioni |
| publisherStr | Ledizioni |
| record_format | ojs |
| spelling | doab-20.500.12854ir-552092023-12-20T18:40:36Z On some axiomatic extensions of the monoidal T-norm based logic MTL. Matteo Bianchi QA1-939 Mathematical bic Book Industry Communication::P Mathematics & science The scientific area this thesis belongs to is many-valued logics: this means logics in which, from the semantical point of view, we have “intermediate” truth-values, between 0 and 1 (which in turns are designated to represent, respectively, the “false” and the “true”). The classical logic (propositional, for simplicity) is based on the fact that every statement is true or false: this is reflected by the excluded middle law, that is a theorem of this logic. However, there are many reasons that suggest to reject this law: for example, intuitionistic logic does not satisfy it, since this logic reflects a “constructive” conception of mathematics (see [Hey71, Tro69]). 2021-02-11T21:37:42Z 2021-02-11T21:37:42Z 2013-09-20 17:45:43 2011 book 15501 9788895994567 https://directory.doabooks.org/handle/20.500.12854/55209 eng Mathematical Sciences image/png Attribution-NonCommercial-ShareAlike 4.0 International http://www.ledizioni.it/prodotto/matteo-bianchi-on-some-axiomatic-extensions-of-the-monoidal-t-norm-based-logic-mtl-an-analysis-in-the-propositional-and-in-the-first-order-case/ http://www.ledizioni.it/stag/wp-content/uploads/2014/02/9788895994567_content.pdf Ledizioni cb2a1db5-5754-4ab6-bb64-d635458e30c5 9788895994567 open access |
| spellingShingle | QA1-939 Mathematical bic Book Industry Communication::P Mathematics & science Matteo Bianchi On some axiomatic extensions of the monoidal T-norm based logic MTL. |
| title | On some axiomatic extensions of the monoidal T-norm based logic MTL. |
| title_full | On some axiomatic extensions of the monoidal T-norm based logic MTL. |
| title_fullStr | On some axiomatic extensions of the monoidal T-norm based logic MTL. |
| title_full_unstemmed | On some axiomatic extensions of the monoidal T-norm based logic MTL. |
| title_short | On some axiomatic extensions of the monoidal T-norm based logic MTL. |
| title_sort | on some axiomatic extensions of the monoidal t norm based logic mtl |
| topic | QA1-939 Mathematical bic Book Industry Communication::P Mathematics & science |
| topic_facet | QA1-939 Mathematical bic Book Industry Communication::P Mathematics & science |
| url | 15501 |
| work_keys_str_mv | AT matteobianchi onsomeaxiomaticextensionsofthemonoidaltnormbasedlogicmtl |