3658 search results - page 239 / 732 » The logic of proofs, semantically |
165
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper is devoted to clarify the only theoretical result included in the controversial work of C. Elkan “The paradoxical success of fuzzy logic” (1994), by offering both a...
182
click to vote
AAAI
1990
15 years 7 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
194
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
196
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...