16616 search results - page 363 / 3324 » Extending Extended Vacuity |
163
Voted
ENTCS
2008
15 years 6 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
151
click to vote
ECCC
2006
15 years 6 months ago
2006
In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete dis...
166
click to vote
JSYML
2006
15 years 6 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...
158
click to vote
SIAMJO
2008
15 years 6 months ago
2008
This paper extends the regularized smoothing Newton method in vector optimization to symmetric cone optimization, which provide a unified framework for dealing with the nonlinear ...
141
click to vote
AMAI
2002
Springer
15 years 6 months ago
2002
Springer
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...