The following pages link to Faithfulness for naive validity (Q2052637):
Displaying 10 items.
- Validity, dialetheism and self-reference (Q2054126) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- There is no paradox of logical validity (Q2254573) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576) (← links)
- The final cut (Q2679590) (← links)
- A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP (Q6148476) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)