100 search results - page 2 / 20 » A Schemata Calculus for Propositional Logic |
ISMVL
1994
IEEE
13 years 10 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
CADE
2008
Springer
13 years 8 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
EUSFLAT
2003
13 years 7 months ago
2003
Let C be the propositional calculus given by a standard SBL-algebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C i...
APAL
2006
13 years 6 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...
BSL
2006
13 years 6 months ago
2006
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...