105 search results - page 1 / 21 » Optimal Proof Systems for Propositional Logic and Complete S... |
STACS
1998
Springer
13 years 9 months ago
1998
Springer
CSL
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
LMCS
2006
13 years 4 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...
APAL
1999
13 years 4 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
JSYML
2006
13 years 4 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...