Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319747712, 9783319747729

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_2 ◽

2018 ◽

pp. 53-79 ◽

Cited By ~ 1

Author(s):

Hugo Albuquerque ◽

Josep Maria Font ◽

Ramon Jansana ◽

Tommaso Moraschini

Keyword(s):

Algebraic Logic ◽

Abstract Algebraic Logic

Download Full-text

The computational complexity of deciding whether a finite algebra generates a minimal variety

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_9 ◽

2018 ◽

pp. 233-256

Author(s):

George F. McNulty

Keyword(s):

Computational Complexity ◽

Finite Algebra ◽

Minimal Variety

Download Full-text

The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_5 ◽

2018 ◽

pp. 131-165 ◽

Cited By ~ 1

Author(s):

Janusz Czelakowski

Download Full-text

Introducing Boolean Semilattices

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_4 ◽

2018 ◽

pp. 103-130

Author(s):

Clifford Bergman

Download Full-text

Possible classification of finite-dimensional compact Hausdorff topological algebras

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_14 ◽

2018 ◽

pp. 381-420

Author(s):

Walter Taylor

Keyword(s):

Topological Algebras ◽

Finite Dimensional

Download Full-text

Boolean product representations of algebras via binary polynomials

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_12 ◽

2018 ◽

pp. 297-321

Author(s):

Antonino Salibra ◽

Antonio Ledda ◽

Francesco Paoli

Keyword(s):

Representations Of Algebras ◽

Boolean Product

Download Full-text

Absorption and directed Jónsson terms

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_7 ◽

2018 ◽

pp. 203-220 ◽

Cited By ~ 1

Author(s):

Alexandr Kazda ◽

Marcin Kozik ◽

Ralph McKenzie ◽

Matthew Moore

Download Full-text

Characterization of protoalgebraic k-deductive systems

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_10 ◽

2018 ◽

pp. 257-271

Author(s):

Katarzyna Pałasińska

Keyword(s):

Deductive Systems

Download Full-text

A short overview of Hidden Logic

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_6 ◽

2018 ◽

pp. 167-201

Author(s):

Isabel Ferreirim ◽

Manuel A. Martins

Keyword(s):

Short Overview

Download Full-text

A Mathematical Life

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic ◽

10.1007/978-3-319-74772-9_1 ◽

2018 ◽

pp. 1-51

Author(s):

Don Pigozzi

Keyword(s):

Mathematical Life

Download Full-text

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

The computational complexity of deciding whether a finite algebra generates a minimal variety

The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

Introducing Boolean Semilattices

Possible classification of finite-dimensional compact Hausdorff topological algebras

Boolean product representations of algebras via binary polynomials

Absorption and directed Jónsson terms

Characterization of protoalgebraic k-deductive systems

A short overview of Hidden Logic

A Mathematical Life

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science - Outstanding Contributions to Logic
Latest Publications