Czesław Lejewski, A Propositional Calculus in Which Three Mutually Undefinable Functors Are Used as Primitive Terms, Studia Logica: An International Journal for Symbolic Logic, T. 22 (1968), pp. 17-50 ...

Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

Propositional Logic ¶ to be concrete, we will focus on propositional logic you should already know about this from programming, and discrete math but lets quickly review it … here is an example ...

This week we discuss the completeness theorem for the propositional calculus. Details can be found in this handout. You should also read Lemmon Chapter 4 during the next two weeks ...