Angel García-Cerdaña Filiación: Consejo Superior de Investigaciones Científicas. Institut d’Investigació en Intel·ligèncía Artificial (Bellaterra, España) Biografía: No disponible |
Año de publicación: 2008 Idioma: inglés Materias: Ciencia y Tecnología Colección: Monografies de l'Institut d'Investigació en Intel-ligencia Artificial eBook gratuito |
Resumen:
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 del libro: XXIII, 198 p. ; 24 cm
ISBN: 978-84-00-08668-8
Publicación: Bellaterra (España) : Consejo Superior de Investigaciones Científicas, 2008
Referencia CSIC: 11585
Adquirir la edición digital enEste eBook está disponible en descarga gratuita |
Descargas gratuitas |
Este título está en nuestro catálogo electrónico desde el miércoles 25 febrero, 2015.