On some Implication-free Fragments of Substructural and Fuzzy Logics

Angel García-Cerdaña Affiliation: Consejo Superior de Investigaciones Científicas. Institut d’Investigació en Intel·ligèncía Artificial (Bellaterra, España) Biography: Not available Close window

Angel García-Cerdaña About the authors  Publication year: 2008 Language: English Subjects: Science and Technology Collection: Monografies de l'Institut d'Investigació en Intel-ligencia Artificial Free eBook

Abstract:

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.

Table of Contents (0.16 Mb)

Preview (0.22 Mb)

This book was added to our online catalog on Wednesday 25 February, 2015.