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

Автор: Czelakowski
Название: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
ISBN: 3319747711 ISBN-13(EAN): 9783319747712
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Olivier Frecon
Название: Algebraic $\overline {\mathbb {Q}}$-Groups as Abstract Groups
ISBN: 1470429233 ISBN-13(EAN): 9781470429232
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 77610.00 T
Наличие на складе: Невозможна поставка.
Описание: Analyses the abstract structure of algebraic groups over an algebraically closed field $K$. For $K$ of characteristic zero and $G$ a given connected affine algebraic $\overline{\mathbb Q}$-group, the theorem describes the affine algebraic $\overline{\mathbb Q} $-groups $H$ such that the groups $H(K)$ and $G(K)$ are isomorphic as abstract groups.

Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz
Название: Algebraic Logic and Universal Algebra in Computer Science
ISBN: 0387972889 ISBN-13(EAN): 9780387972886
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.

Автор: Font Josep Maria
Название: Abstract Algebraic Logic. an Introductory Textbook
ISBN: 1848902077 ISBN-13(EAN): 9781848902077
Издательство: Неизвестно
Цена: 36790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Grandis, Marco (univ Di Genova, Italy)
Название: Higher dimensional categories: from double to multiple categories
ISBN: 9811205108 ISBN-13(EAN): 9789811205101
Издательство: World Scientific Publishing
Рейтинг:
Цена: 190080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

The study of higher dimensional categories has mostly been developed in the globular form of 2-categories, n-categories, omega-categories and their weak versions. Here we study a different form: double categories, n-tuple categories and multiple categories, with their weak and lax versions.

We want to show the advantages of this form for the theory of adjunctions and limits. Furthermore, this form is much simpler in higher dimension, starting with dimension three where weak 3-categories (also called tricategories) are already quite complicated, much more than weak or lax triple categories.

This book can be used as a textbook for graduate and postgraduate studies, and as a basis for research. Notions are presented in a 'concrete' way, with examples and exercises; the latter are endowed with a solution or hints. Part I, devoted to double categories, starts at basic category theory and is kept at a relatively simple level. Part II, on multiple categories, can be used independently by a reader acquainted with 2-dimensional categories.

Автор: John A. Vince
Название: Geometric Algebra: An Algebraic System for Computer Games and Animation
ISBN: 144716878X ISBN-13(EAN): 9781447168782
Издательство: Springer
Рейтинг:
Цена: 51200.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style.

Автор: Marker
Название: Lectures on Infinitary Model Theory
ISBN: 1107181933 ISBN-13(EAN): 9781107181939
Издательство: Cambridge Academ
Рейтинг:
Цена: 121440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of mathematical logic. Connections between infinitary model theory and other branches of mathematical logic, and applications to algebra and algebraic geometry are both comprehensively explored.

Автор: Max Dickmann, Niels Schwartz, Marcus Tressl
Название: Spectral Spaces
ISBN: 1107146720 ISBN-13(EAN): 9781107146723
Издательство: Cambridge Academ
Рейтинг:
Цена: 170010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This first monograph on spectral spaces will be useful for graduates and researchers in mathematics and theoretical computer science who want to connect algebra and logic with geometric concepts. It is a systematic introduction and at the same time a reference source that leads up to the frontiers of current research.

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 1108420060 ISBN-13(EAN): 9781108420068
Издательство: Cambridge Academ
Рейтинг:
Цена: 95030.00 T
Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 1108411398 ISBN-13(EAN): 9781108411394
Издательство: Cambridge Academ
Рейтинг:
Цена: 29560.00 T
Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.

Автор: Radoslav Dimitric
Название: Slenderness: Volume 1, Abelian Categories
ISBN: 110847442X ISBN-13(EAN): 9781108474429
Издательство: Cambridge Academ
Рейтинг:
Цена: 121440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Slenderness is a concept relevant to the fields of algebra, set theory, and topology. This first book on the subject is systematically presented and largely self-contained, making it ideal for researchers and graduate students. It provides over 350 exercises as well as many open problems to inspire further research.

Автор: Fabrizio Broglia, Francoise Delon, Max Dickmann, Danielle Gondard-Cozette, Victoria Ann Powers
Название: Ordered Algebraic Structures and Related Topics
ISBN: 1470429667 ISBN-13(EAN): 9781470429669
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 108680.00 T
Наличие на складе: Невозможна поставка.
Описание: This volume contains the proceedings of the international conference ""Ordered Algebraic Structures and Related Topics'', held from October 12-16, 2015, at CIRM, Luminy, Marseilles, France. Papers contained in this volume cover topics in real analytic geometry, real algebra, and real algebraic geometry including complexity issues, model theory of various algebraic and differential structures, Witt equivalence of fields, and the moment problem.