It is not the case that A principle that is analytically true under constructive semantics does not import classical logic principles such as Excluded Middle
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.