On some implication-free fragments of substructural and fuzzy logics
The main contents of this monograph consist of some contributions to the general study of basic substructural systems, and an algebraic analysis of some freeimplication fragments of basic intuitionistic substructural logics. The tools used stand within the framework of Algebraic Logic and, partially...
Autor principal: | |
---|---|
Formato: | Libro |
Idioma: | Inglés |
Publicado: |
Bellaterra :
Consejo Superior de Investigaciones Científicas
2008.
|
Colección: | Monografies de l'Institut d'Investigació en Intel·ligència Artificial
|
Materias: | |
Acceso en línea: | Conectar con la versión electrónica |
Ver en Universidad de Navarra: | https://innopac.unav.es/record=b33070131*spi |
Sumario: | The main contents of this monograph consist of some contributions to the general study of basic substructural systems, and an algebraic analysis of some freeimplication fragments of basic intuitionistic substructural logics. The tools used stand within the framework of Algebraic Logic and, partially, in the area of Abstract Algebraic Logic and the notion of algebraizable Gentzen system. |
---|---|
Descripción Física: | XXIII, 198 p. |
Formato: | Forma de acceso: World Wide Web. |
ISBN: | 9788400086688 |