42 search results - page 9 / 9 » Normal Form Theorem Proving for the Lambek Calculus |
JACM
2000
13 years 4 months ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
NMR
2004
Springer
13 years 10 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...