2529 search results - page 124 / 506 » The Logical Structure of Binding |
134
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
155
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
157
click to vote
SOFSEM
1998
Springer
15 years 10 months ago
1998
Springer
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
164
click to vote
APAL
2006
15 years 6 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
143
click to vote
ENTCS
2007
15 years 6 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...