Sciweavers

Share
158 search results - page 1 / 32
» Strong logics of first and second order
Sort
View
TCS
2010
11 years 3 months ago
Strong normalization property for second order linear logic
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
Michele Pagani, Lorenzo Tortora de Falco
EMNLP
2009
11 years 3 months ago
First- and Second-Order Expectation Semirings with Applications to Minimum-Risk Training on Translation Forests
Many statistical translation models can be regarded as weighted logical deduction. Under this paradigm, we use weights from the expectation semiring (Eisner, 2002), to compute fir...
Zhifei Li, Jason Eisner
SIAMCO
2008
161views more  SIAMCO 2008»
11 years 5 months ago
Controllability and Observability of Second Order Descriptor Systems
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
Philip Losse, Volker Mehrmann
CORR
2010
Springer
149views Education» more  CORR 2010»
11 years 5 months ago
Lower Bounds for the Complexity of Monadic Second-Order Logic
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO2) can be decided in linear time on any class of graphs of ...
Stephan Kreutzer, Siamak Tazari
books