Questions tagged [classical-logic]

The tag has no usage guidance, but it has a tag wiki.

Filter by
Sorted by
Tagged with
6 votes
1 answer

Tracing the classical reasoner in Isabelle

Some time ago I asked this question on Stack Overflow but got no answer: Section 9.4 The Classical Reasoner of the Isar ...
user avatar
  • 163
16 votes
3 answers

Well-foundedness: classical equivalence of no infinite descent and accessibility

I have often seen the claim that in a classical setting, well-foundedness of a relation > defined as the absence of an infinite descent ...
user avatar