Daily Archives: September 14, 2024

Frequently Used Theorems To familiarize ourselves with equational proofs in logical graphs let’s run though the proofs of a few basic theorems in the primary algebra. C1.  Double Negation Theorem The first theorem goes under the names of Consequence 1 (C1), … Continue reading →

Equational Inference All the initials have the form of equations.  This means the inference steps they license are reversible.  The proof annotation scheme employed below makes use of double bars to mark this fact, though it will often be left … Continue reading →

Logical Interpretation One way of assigning logical meaning to the initial equations is known as the entitative interpretation (En).  Under En, the axioms read as follows. Another way of assigning logical meaning to the initial equations is known as the existential interpretation … Continue reading →