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
202 views

Tracing the classical reasoner in Isabelle

Some time ago I asked this question on Stack Overflow but got no answer: https://stackoverflow.com/questions/60521384/tracing-tactics-in-isabelle Section 9.4 The Classical Reasoner of the Isar ...
user avatar
  • 163
16 votes
3 answers
835 views

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