667 search results - page 6 / 134 » On Various Negative Translations |
JSYML
2006
13 years 10 months ago
2006
It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provabl...
ICANN
2003
Springer
14 years 4 months ago
2003
Springer
The development of microarray technology has supplied a large volume of data to many fields. In particular, it has been applied to prediction and diagnosis of cancer, so that it ex...
LOGCOM
2010
13 years 5 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
ACL
1989
14 years 21 hour ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— In this paper, we present an approach for potential negative obstacle detection based on missing data interpretation that extends traditional techniques driven by data only whi...