Posts

Showing posts with the label Logic

Women in Logic: two new initiatives

Logic Editor for Internet Encyclopedia of Philosophy

A song of love and logic

How to Write Proofs, 2

Logic and external target phenomena

More on the Validity Predicate

"How to write proofs: a quick guide"

On Adding a Validity Predicate to PA

The Completeness of PA with the $\omega$-rule