Pages that link to "Item:Q2679576"
From MaRDI portal
The following pages link to Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576):
Displaying 7 items.
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: A Contradiction? (Q5044862) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)
- Anti-exceptionalism, truth and the BA-plan (Q6180131) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)