27 search results - page 6 / 6 » Handling Polymorphism in Automated Deduction |
LOGCOM
2010
13 years 8 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
SBBD
2004
13 years 11 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...