A Terminating Evaluation-Driven Variant of G3i
From MaRDI portal
Publication:2851938
DOI10.1007/978-3-642-40537-2_11zbMath1401.03035OpenAlexW60804773MaRDI QIDQ2851938
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
Publication date: 4 October 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11383/2014120
Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic ⋮ An Evaluation-Driven Decision Procedure for G3i ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
This page was built for publication: A Terminating Evaluation-Driven Variant of G3i