100 search results - page 2 / 20 » A Schemata Calculus for Propositional Logic |
73
Voted
ISMVL
1994
IEEE
15 years 2 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
15 years 6 days ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
88
Voted
EUSFLAT
2003
14 years 11 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...
93
Voted
APAL
2006
14 years 10 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...
83
Voted
BSL
2006
14 years 10 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...