The following pages link to (Q4283227):
Displayed 6 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Generalizing theorems in real closed fields (Q1899140) (← links)
- Physics and proof theory (Q2249005) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)