2 citations · 5 across the 14 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
math.LO2009★ 1 cited
Logical Primes, Metavariables and Satisfiability
Bernd R. Schuh
For formulas F of propositional calculus I introduce a "metavariable" MF and show how it can be used to define an algorithm for testing satisfiability. MF is a formula which is tru…
math.LO2009★ 1 cited
Algebraic Properties of Propositional Calculus
Bernd R. Schuh
In this short note we relate some known properties of propositional calculus to purely algebraic considerations of a Boolean algebra. Classes of formulas of propositional calculus…