Incorporating Tables into Proofs

DOI10.1007/978-3-540-74915-8_35MaRDI QIDQ3608431zbMATH OpenOpenAlexFDO

Authors Vivek Nigam, Dale Miller

Publication date 5 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_35

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Controlled use of clausal lemmas in connection tableau calculi
• scientific article; zbMATH DE number 1552522
• Extracting proofs from tabled proof search
• Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999)
• On the generation of quantified lemmas

Cited in

(11)

• Focusing and polarization in linear, intuitionistic, and classical logics
• Physics and proof theory
• A proof theory for model checking
• On the generation of quantified lemmas
• Extracting proofs from tabled proof search
• A proposal for broad spectrum proof certificates
• Focusing in Linear Meta-logic
• Algorithmic introduction of quantified cuts
• A focused approach to combining logics
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• A framework for proof systems

This page was built for publication: Incorporating Tables into Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608431)