Algebraic logic
Top View
- Leibniz on the Logic of Conceptual Containment and Coincidence
- Notes on Substitution in First–Order Logic
- On Prevarieties of Logic
- The Logic of Distributive Bilattices
- Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism∗
- Development of the Binary Number System and the Foundations of Computer Science
- Applying Algebraic Logic; a General Methodology
- Algebras, Projective Geometry, Mathematical Logic, and Constructing the World
- Arithmetic of Logic*
- Algebraic Logic and Its Critics the History of Logic from Leibniz to Frege University of Chicago Spring Quarter 2014
- Louis H. Kauffman's Time, Imaginary Value, Paradox, Sign and Space
- On the Finitizability Problem in Algebraic Logic; Recent Results
- Algebraic Logic, I. Monadic Boolean Algebras Compositio Mathematica, Tome 12 (1954-1956), P
- Boolean Algebras 1By Paul R
- On Algebraization of Classical First Order Logic
- Abstract Algebraic Logic – 1St Lesson
- An Approach Using Algebraic Logic
- Understanding Definability in First-Order Logic