Double negative elimination

Results: 1



#Item
1Propositional calculus / Formal systems / Boolean algebra / Logical truth / Natural deduction / Rule of inference / Sequent calculus / Double negative elimination / Sequent / Logic / Mathematical logic / Proof theory

A Brief History of Natural Deduction

Add to Reading List

Source URL: www.sfu.ca

Language: English - Date: 2009-10-30 18:11:37
UPDATE