3 ms·
Classical logic can be embedded into Constructive logic through any one of a number of choices of double negation translations. Thus it is Constructive logic t
by rssoconnor 5y ago
Classical logic can be embedded into Constructive logic through any one of a number of choices of double negation translations. Thus it is Constructive logic that is arguably more expressive. See https://news.ycombinator.com/item?id=26217587 https://news.ycombinator.com/item?id=26217587
- ProfHewitt 5y agoUnfortunately, a theoretical embedding doesn't always accomplish the work of Double Negation Elimination in practice.