Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Janusz Czelakowski
Автор: Radoslav Dimitric Название: Slenderness: Volume 1, Abelian Categories ISBN: 110847442X ISBN-13(EAN): 9781108474429 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz Название: Algebraic Logic and Universal Algebra in Computer Science ISBN: 0387972889 ISBN-13(EAN): 9780387972886 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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 Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108420060 ISBN-13(EAN): 9781108420068 Издательство: Cambridge Academ Рейтинг: Цена: 14254.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Font Josep Maria Название: Abstract Algebraic Logic. an Introductory Textbook ISBN: 1848902077 ISBN-13(EAN): 9781848902077 Издательство: Неизвестно Цена: 5518.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Grandis, Marco (univ Di Genova, Italy) Название: Higher dimensional categories: from double to multiple categories ISBN: 9811205108 ISBN-13(EAN): 9789811205101 Издательство: World Scientific Publishing Рейтинг: Цена: 28512.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Max Dickmann, Niels Schwartz, Marcus Tressl Название: Spectral Spaces ISBN: 1107146720 ISBN-13(EAN): 9781107146723 Издательство: Cambridge Academ Рейтинг: Цена: 25502.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
