The following pages link to Proof theory (Q5966925):
Displaying 24 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- On the proof-theory of two formalisations of modal first-order logic (Q622627) (← links)
- The consistency of arithmetic (Q666895) (← links)
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- Resolution on formula-trees (Q1098648) (← links)
- The number of proof lines and the size of proofs in first order logic (Q1102280) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- Sequential method in propositional dynamic logic (Q1254991) (← links)
- A proof-theoretical analysis of ptykes (Q1322455) (← links)
- Functoroids and ptykoids (Q1345902) (← links)
- RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) (Q1345903) (← links)
- Sequent calculus for classical logic probabilized (Q1712933) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Logical-optimization approach to pursuit problems for a group of targets (Q2404302) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Monomial ideals and independence of (Q5108088) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Two applications of analytic functors (Q5958294) (← links)
- Vetoing: social, logical and mathematical aspects (Q6608667) (← links)
