The Philosopher

C. A. Meredith

The face

The background

Nationality:: Irish
Schools:: Propositional Calculus
Branchs:: Logic, Mathematics
Period:: 20th century

The synopsis

The works

Single axioms for the systems (C,N), (C,0), and (A,N) of the two-valued propositional calculus

Calculi of pure strict implication

Notes on the axiomatics of the propositional calculus

Equational logic