22 search results - page 1 / 5 » Substitution for Fraenkel-Mostowski foundations |
AISB
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
POPL
2008
ACM
14 years 4 months ago
2008
ACM
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
ENTCS
2007
13 years 4 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
SEMWEB
2005
Springer
13 years 9 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...