Intuitionistic logic

  • #26
402
1
That's true; if the [itex]\alpha[/itex]'s are atomic formulas, then you can do it. The same goes for the Law of the Excluded Middle, that may be justified using BHK in this case.
 

Related Threads on Intuitionistic logic

  • Last Post
Replies
14
Views
2K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
4
Views
7K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
10
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
7
Views
950
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
6
Views
3K
Top