835 search results - page 4 / 167 » Geometric Logic in Computer Science |
FOCS
2010
IEEE
13 years 6 months ago
2010
IEEE
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
SIGCSE
1990
ACM
14 years 18 days ago
1990
ACM
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
SYNTHESE
2008
13 years 8 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...