Citations:theoremhood


 * 2010 João Marcos, "Automatic Generation of Proof Tactics for Finite-Valued Logics" arXiv
 * The procedure on whose implementation we will report is based on a generalized notion of analyticity of proof systems that is intended to guarantee termination of the corresponding automated tactics on what concerns theoremhood in our targeted logics.