The following pages link to Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576):
Displaying 2 items.