Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Couverture souple

Couverture souple

ISBN 10 : 3319747738 ISBN 13 : 9783319747736

Editeur : Springer, 2018

Synopsis

A Mathematical Life; Pigozzi, Don.- Assertional logics, truth-equational logics, and the hierarchies

of abstract algebraic logic; Albuquerque, Hugo, Font, Josep Maria, Jansana, Ramon, and Moraschini, Tommaso.- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems; Babenyshev, Sergey.- Introducing Boolean Semilattices; Bergman, Clifford.- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras; Czelakowski, Janusz.- A short overview of Hidden Logic; Ferreirim, Isabel and Martins, Manuel A.- Absorption and directed J´onsson terms; Kazda, Alexandr, Kozik, Marcin, McKenzie, Ralph and Moore, Matthew.- Relatively congruence modular quasivarieties of modules; Kearnes, Keith A. - The computational complexity of deciding whether a finite algebra generates a minimal variety; McNulty, George F.- Characterization of protoalgebraic k-deductive systems; Palasinska; Katarzyna.- Diagrammatic duality; Romanowska, Anna B. and Smith, Jonathan D.H.- Boolean product representations of algebras via binary polynomials; Salibra, Antonino, Ledda, Antonio, and Paoli, Francesco.- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic; Spinks, Matthew and Veroff, Robert.- Possible classification of finite-dimensional compact Hausdorff

topological algebras; Taylor, Walter.- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems; Voutsadakis; George.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2018
• Langue: anglais
• ISBN 10: 3319747738
• ISBN 13: 9783319747736
• Reliure: Paperback
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible