1564 search results - page 12 / 313 » Extensions to the Estimation Calculus |
104
click to vote
POPL
1992
ACM
15 years 3 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
TABLEAUX
2007
Springer
15 years 5 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
KR
2004
Springer
15 years 5 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
APAL
2008
14 years 11 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...