Pages that link to "Item:Q402115"

The following pages link to Algorithmic introduction of quantified cuts (Q402115):

Displaying 4 items.

• Algorithmic introduction of quantified cuts (Q402115) (← links)
• The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
• On the compressibility of finite languages and formal proofs (Q1706152) (← links)
• Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)