Algebraic logic

Source: Wikipedia. Pages: 89. Chapters: Abstract algebraic logic, Action algebra, Boolean algebra, Boolean algebra (logic), Canonical form (Boolean algebra), Cylindric algebra, De Morgan algebra, Higher-dimensional algebra, Kleene algebra, Leibniz operator, Lindenbaum-Tarski algebra, Monadic Boolean algebra, MV-algebra, Ockham algebra, Polyadic algebra, Predicate functor logic, Relation algebra, Residuated Boolean algebra. Excerpt: 256 article summaries including: Categorical Abstract Algebraic Logic: More on Protoalgebraicity . Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic . Categorical Abstract Algebraic Logic: Models of π-Institutions . An Abstract Algebraic Logic Approach to Tetravalent Modal Logics . Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions . Finite schematizable algebraic logic . 9 Clone Theory and Algebraic Logic . Independence Results in Algebraic Logic . Complete Representations in Algebraic Logic . 16 Relational Lattice Foundation for Algebraic Logic . Algebraic logic, where does it stand today . Expressive Power and Complexity in Algebraic Logic . Some Results on Amalgamation in Algebraic Logic . Amalgamation Theorems in Algebraic Logic, an overview . 28 Algebraic logic and logically-geometric types in varieties of algebras . 29 Algebraic logic and logical geometry in arbitrary varieties of algebras . 30 Algebraic Logic, Varieties of Algebras and Algebraic Varieties . LogAB: A first-order, non-paradoxical, algebraic logic of belief . Step by Step-Building Representations in Algebraic Logic . 42 Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic . 43 Resolving G"odel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic . Algebrai logika; relativitáselmélet logikai struktúrájának vizsgálata = Algebraic logic; investigating the logical structure of relativity theory . 51 Higher-Dimensional Algebra VII: Groupoidification . 52 Kleene algebra with domain . Concurrent Kleene Algebra . Lazy Kleene Algebra . Kleene Algebra with Domain . Demonic Kleene Algebra . Typed Kleene Algebra . Boolean algebra . 60 Higher-Dimensional Algebra and Planck-Scale Physics . 61 Higher-Dimensional Algebra IV: 2-Tangles . 62 Higher-Dimensional Algebra V: 2-Groups . 63 Higher-Dimensional Algebra VI: Lie 2-Algebras . 64 Higher-Dimensional Algebra II: 2-Hilbert Spaces . Termination in Modal Kleene Algebra . Foundations of Concurrent Kleene Algebra . Kleene Algebra and Bytecode Verification . Wikibooks: Electronics/Boolean Algebra . Position Automata for Kleene Algebra with Tests . Greedy-Like Algorithms in Kleene Algebra . Modal Kleene Algebra and Partial Correctness . Second-Order Abstract Interpretation via Kleene Algebra . Kleene algebra with tests and commutativity conditions . Kleene Algebra with Tests: Completeness and Decidability . The Complexity of Kleene Algebra with Tests . Kleene Algebra with Tests and Program Schematology . Parikh's Theorem in Commutative Kleene Algebra . On Hoare Logic, Kleene Algebra, and Types . Using probabilistic Kleene algebra for protocol verification . 87 Higher-dimensional Algebra and Topological Quantum Field Theory . 88 Higher-Dimensional Algebra I: Braided Monoidal 2-Categories . 93 Constructive version of Boolean algebra . Single axioms for Bool...