The following pages link to (Q5311060):
Displaying 9 items.
- On the equivalence of proofs involving identity (Q1107527) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- What Is a Proof? (Q5246107) (← links)
- What Is the Difference Between Proofs and Programs? (Q5246110) (← links)
- What is Propositional Logic a Theory of, if Anything? (Q5251191) (← links)
- What is a proof? (Q5301851) (← links)