Proof theory
From MaRDI portal
Publication:5966925
zbMath0355.02023MaRDI QIDQ5966925
Publication date: 1975
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Proof theory and constructive mathematics (03F99)
Related Items (24)
Cut-elimination for quantified conditional logic ⋮ Interpolation systems for ground proofs in automated deduction: a survey ⋮ Functoroids and ptykoids ⋮ RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Resolution on formula-trees ⋮ The number of proof lines and the size of proofs in first order logic ⋮ Gentzenization of trilattice logics ⋮ Logical-optimization approach to pursuit problems for a group of targets ⋮ Schematic refutations of formula schemata ⋮ Distributive-lattice semantics of sequent calculi with structural rules ⋮ On the proof-theory of two formalisations of modal first-order logic ⋮ Monomial ideals and independence of ⋮ Paraconsistent logic and query answering in inconsistent databases ⋮ Interpolation theorem in many-valued logics with designated values ⋮ Sequent calculus for classical logic probabilized ⋮ Between constructive mathematics and PROLOG ⋮ The consistency of arithmetic ⋮ Two applications of analytic functors ⋮ Sequential method in propositional dynamic logic ⋮ Prawitz, Proofs, and Meaning ⋮ Proof systems combining classical and paraconsistent negations ⋮ Neo-Logicism and Its Logic ⋮ A proof-theoretical analysis of ptykes
This page was built for publication: Proof theory
