Return to Revisions

2 of 2

edited tags

edited May 30, 2013 at 0:44

2.4k
23
24

Deduction theorem

Is there an axiomatic system where the deduction theorem does not hold?

proof-theory lo.logic

asked May 29, 2013 at 19:51

163
1
5