Blogs about: Propositional Calculus
Featured Blog
ETCS: Internalizing the logic
This post is a continuation of the discussion of “the elementary theory of the category of sets” [ETCS] which we had begun last time, here and in the comments which followed. My thanks go … more →
Todd and Vishal's blog
Conjunction
— 3 comments
Biswajit wrote 2 months ago: Any statement can be either true or false depending upon the logic inherent in the statement. We use … more →
AIMA Book
aiguy wrote 11 months ago: I was reading Chapters 6 and 7 of the AIMA book (Russell, Norvig 1995). They describe propositional … more →
ETCS: Internalizing the logic
— 4 comments
Todd Trimble wrote 1 year ago: This post is a continuation of the discussion of “the elementary theory of the category of set … more →
Free Boolean algebras, truth tables, disjunctive normal form, and completeness theorems
— 2 comments
Todd Trimble wrote 1 year ago: Last time in this series on Stone duality, we observed a perfect duality between finite Boolean alge … more →
Boolean algebras, Galois connections, and double negation
— 4 comments
Todd Trimble wrote 1 year ago: In this installment, I will introduce the concept of Boolean algebra, one of the main stars of this … more →
Truth-valued matrix algebra and adjoints
— 11 comments
Todd Trimble wrote 1 year ago: In our last installment in this series on Stone duality, we introduced the notion of Heyting algebra … more →
Distributivity, Topology, and Heyting algebras
— 8 comments
Todd Trimble wrote 1 year ago: Last time in this series on Stone duality, we introduced the concept of lattice and various cousins … more →
Lattices and Duality
— 25 comments
Todd Trimble wrote 1 year ago: Previously, on “Stone duality”, we introduced the notions of poset and meet-semilattice … more →
On rules and relations
— 6 comments
Max wrote 1 year ago: Having designed and built a number of rules engines over the years, I’ve come to realize that … more →
Propositional Calculus - the basics
Vishal Lama wrote 1 year ago: Let’s see if we can build this from ground up. We first define a statement (or sometimes, a pr … more →
Propositional Calculus
Vishal Lama wrote 1 year ago: I wish to use this part of the blog to quickly go through the basic elements of propositional calcul … more →
