100 search results - page 3 / 20 » A Schemata Calculus for Propositional Logic |
187
click to vote
SLOGICA
2010
15 years 21 days ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
169
click to vote
AML
2002
15 years 5 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
168
click to vote
TLCA
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
194
click to vote
TIME
2007
IEEE
16 years 7 days ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
179
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...