http://sassa-nf.livejournal.com/ ([identity profile] sassa-nf.livejournal.com) wrote in [personal profile] juan_gandhi 2016-10-22 08:50 pm (UTC)

4. Does it have a simplification in intuitionistic logic? It seems one can prove tautology for A=T and A=⊥ separately, but to prove it for any A we'd need the excluded middle, right?
(47 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.