2062 search results - page 14 / 413 » Derivatives of Logical Formulas |
IGPL
1998
13 years 9 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...
SIGECOM
2003
ACM
14 years 2 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...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
ISMVL
2008
IEEE
14 years 4 months ago
2008
IEEE
SEKE
2007
Springer
14 years 3 months ago
2007
Springer