On Some Axiomatic Extensions of the Monoidal T-Norm Based Logic Mtl An Analysis in the Propositional and in the First-Order Case

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")....

Descripción completa

Detalles Bibliográficos
Otros Autores: Bianchi, Matteo, author (author)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Milan, Italy : Ledizioni 2011
[2011].
Colección:Mathematical Sciences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009436403206719