Skip to content
Archive of posts filed under the Logic category.

Paraconsistent Logic

E2 writeup on paraconsistent logic (as html/pdf)

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)