2062 search results - page 14 / 413 » Derivatives of Logical Formulas |
107
click to vote
IGPL
1998
15 years 4 months ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...
129
click to vote
SIGECOM
2003
ACM
15 years 10 months ago
2003
ACM
We develop a framework for trading in compound securities: financial instruments that pay off contingent on the outcomes of arbitrary statements in propositional logic. Buying o...
