It is not the case that Therefore the coincidence of validity and derivability holds only for specific well-behaved logics like propositional logic, not as a general proof-theoretic thesis.
?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.