E2 writeup on paraconsistent logic (as html/pdf)
Archive of posts filed under the Logic category.
On logic
Worked solution to a first year undergraduate mathematics exam question on logic.
The Secrecy Problem
Link to an E2 writeup on reducing the secrecy problem to Post’s Correspondence Problem.
NP vs Co-NP
Notes from a talk on complexity theory and logic.
Infinite Descent
E2 writeup on infinite descent (as html/pdf)
Register Machine
E2 writeup on register machines (as html/pdf)
Clausal form
E2 writeup on clausal form (as html/pdf)
Language recognition and generation in Prolog
E2 writeup on language recognition and generation in Prolog (as html/pdf)
Prenex and Skolem normal forms
E2 writeup on Prenex and Skolem normal forms (as html/pdf)
Semantic Tableaux proof method for predicate logic
E2 writeup on semantic tableaux (as html/pdf)
