Incorporating Tables into Proofs

DOI10.1007/978-3-540-74915-8_35zbMath1179.03019OpenAlexW1533033982MaRDI QIDQ3608431

Vivek Nigam, Dale A. 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)

Related Items (10)

Extracting Proofs from Tabled Proof Search ⋮ On the generation of quantified lemmas ⋮ Algorithmic introduction of quantified cuts ⋮ A focused approach to combining logics ⋮ Focusing in Linear Meta-logic ⋮ Physics and proof theory ⋮ A framework for proof systems ⋮ A Proposal for Broad Spectrum Proof Certificates ⋮ Focusing and polarization in linear, intuitionistic, and classical logics ⋮ A proof theory for model checking

This page was built for publication: Incorporating Tables into Proofs