{"product_id":"algebraic-logic-von-undefined","title":"Algebraic logic","description":"\u003cp\u003eSource: 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...\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781155856100\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9781155856100","offer_id":48851405635909,"sku":"9781155856100","price":25.17,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/032c6332-f978-421d-99eb-972d490c9c47.jpg?v=1726374525","url":"https:\/\/shop.autorenwelt.de\/en\/products\/algebraic-logic-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}