3658 search results - page 90 / 732 » The logic of proofs, semantically |
FOSSACS
2008
Springer
13 years 12 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
SEMCO
2008
IEEE
14 years 4 months ago
2008
IEEE
This demonstration shows how semantic schema matching technology is being incorporated into the BEA AquaLogic Data Services Platform. Specifically, it demonstrates how the manuall...
CADE
2005
Springer
14 years 11 days ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...