Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science 9783319747712

Варианты приобретения

Цена: 79190.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Англия: 1 шт. Склад Америка: 173 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября

Добавить в корзину

в Мои желания

Автор: Czelakowski
Название: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
ISBN: 9783319747712
Издательство: Springer
Классификация:

Математическая логика

Алгебра

История математики

ISBN-10: 3319747711
Обложка/Формат: Hardcover
Страницы: 454
Вес: 8.51 кг.
Дата издания: 2018
Серия: Outstanding Contributions to Logic
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 19 illustrations, black and white; xxxiii, 454 p. 19 illus.
Размер: 166 x 245 x 28
Читательская аудитория: Professional & vocational
Основная тема: Logic
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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 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 Hausdorfftopological algebras; Taylor, Walter.- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems; Voutsadakis; George.
Дополнительное описание: Chapter 1. A Mathematical Life (Don Pigozzi).- Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque).- Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Czelakowski