827 search results - page 7 / 166 » Proof-Theoretic Soundness and Completeness |
AAAI
2006
13 years 9 months ago
2006
ASC
2000
13 years 9 months ago
2000
CORR
2008
Springer
13 years 7 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
DC
1999
13 years 7 months ago
1999
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...