Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Czelakowski Janusz
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Czelakowski Janusz A Mathematical Life; Pigozzi, Don.- Assertional logics, truth-equational logics, and the…
Specifikacia Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Czelakowski Janusz
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Czelakowski Janusz
A Mathematical Life; Pigozzi, Don.- Assertional logics, truth-equational logics, and the hierarchiesof 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