scientific article; zbMATH DE number 1555175

zbMath0953.03513MaRDI QIDQ4525273

Richard Zach, Matthias Baaz

Publication date: 22 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Related Items

Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). ⋮ On calculational proofs ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata