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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Online |
| Jazyk: | angličtina |
| Vydáno: |
Ledizioni
2021
|
| Témata: | |
| On-line přístup: | 15501 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!