Listing 1 - 10 of 91 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory.This book gives an overview of the theory, comprising both classical results and recent contributions, including those of the authors. N-valued and &THgr;-valued algebras are presented, as well as &THgr;-algebras with negation.Mathematicians interested in lattice theory or symboli
Algebra --- Łukasiewicz algebras. --- Algebraic logic. --- Logic, Symbolic and mathematical --- Algebras, Łukasiewicz --- Algebraic logic --- ukasiewicz algebras.
Choose an application
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic.This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject.Key Features:- Presents historical milestones from a modern perspecti
Relation algebras. --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Algebraic logic --- Algebraic logic.
Choose an application
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic.
Cylindric algebras. --- Algebraic logic. --- Logic, Symbolic and mathematical --- Algebras, Cylindric --- Cylindrical algebras --- Algebraic logic
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
Algebra --- Mathematical logic --- Algebraic logic --- Logique algébrique --- 510.6 --- #WWIS:ALTO --- Logic, Symbolic and mathematical --- Algebraic logic. --- 510.6 Mathematical logic --- Logique algébrique
Choose an application
Algebraic logic. --- Probabilities. --- Algebraic logic --- Probabilities --- Probability --- Statistical inference --- Combinations --- Mathematics --- Chance --- Least squares --- Mathematical statistics --- Risk --- Logic, Symbolic and mathematical --- Logique algébrique --- Probabilités
Choose an application
Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems that are equally unprecedented. Quantum logic, the topic of this volume, can be described as an attempt to cast light on the puzzle of quantum mechanics from the point of view of logic. Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled, "The logic of quantum mechanics,? quantum logic has undergone an enormous development. Various s
Quantum logic. --- Physics. --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Algebraic logic --- Mathematical physics --- Quantum theory
Choose an application
Algebra, Boolean --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory
Listing 1 - 10 of 91 | << page >> |
Sort by
|