Listing 1 - 10 of 116 | << page >> |
Sort by
|
Choose an application
Algebraic logic. --- Arithmetic --- Foundations. --- Théorie des ensembles
Choose an application
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.
Choose an application
Algebraic logic --- Logique algébrique. --- Logique algébrique.
Choose an application
Logique algébrique --- Algebraic logic --- Logique algébrique
Choose an application
Logique algébrique. --- Algebraic logic. --- Logique mathématique
Choose an application
Logique algébrique. --- Algebraic logic. --- Mathématiques --- Analyse mathematique
Choose an application
In a bold and refreshingly informal style, this exciting text steers a middle course between elementary texts emphasizing connections with philosophy, logic, and electronic circuit design, and profound treatises aimed at advanced graduate students and professional mathematicians. It is written for readers who have studied at least two years of college-level mathematics. With carefully crafted prose, lucid explanations, and illuminating insights, it guides students to some of the deeper results of Boolean algebra --- and in particular to the important interconnections with topology --- without assuming a background in algebra, topology, and set theory. The parts of those subjects that are needed to understand the material are developed within the text itself. Highlights of the book include the normal form theorem; the homomorphism extension theorem; the isomorphism theorem for countable atomless Boolean algebras; the maximal ideal theorem; the celebrated Stone representation theorem; the existence and uniqueness theorems for canonical extensions and completions; Tarski’s isomorphism of factors theorem for countably complete Boolean algebras, and Hanf’s related counterexamples; and an extensive treatment of the algebraic-topological duality, including the duality between ideals and open sets, homomorphisms and continuous functions, subalgebras and quotient spaces, and direct products and Stone-Cech compactifications. A special feature of the book is the large number of exercises of varying levels of difficulty, from routine problems that help readers understand the basic definitions and theorems, to intermediate problems that extend or enrich material developed in the text, to harder problems that explore important ideas either not treated in the text, or that go substantially beyond its treatment. Hints for the solutions to the harder problems are given in an appendix. A detailed solutions manual for all exercises is available for instructors who adopt the text for a course.
Algebra, Boolean. --- Algebraic logic. --- Logic, Symbolic and mathematical --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory --- Booleaanse algebra. --- Boolesche Algebra. --- Boole, Algèbre de
Choose an application
Algebraic logic --- Logique algébrique --- Algebra, Boolean --- Boole, Algèbre de --- Algebraic logic. --- Logique algébrique. --- Algebra, Boolean. --- Boole, Algèbre de --- Logique --- Histoire
Choose an application
"Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits - that is, those commuting with finite products in sets. The authors prove the duality between algebraic categories and algebraic theories and discuss Morita equivalence between algebraic theories. They also pay special attention to one-sorted algebraic theories and the corresponding concrete algebraic categories over sets, and to S-sorted algebraic theories, which are important in program semantics. The final chapter is devoted to finitary localizations of algebraic categories, a recent research area"--
Categories (Mathematics) --- Algebraic logic --- Algebraic logic. --- Logic, Symbolic and mathematical --- Category theory (Mathematics) --- Algebra, Homological --- Algebra, Universal --- Group theory --- Topology --- Functor theory
Choose an application
Algebra, Boolean --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory
Listing 1 - 10 of 116 | << page >> |
Sort by
|