17054 search results - page 318 / 3411 » Logics of Dynamical Systems |
198
click to vote
AML
2006
15 years 7 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
227
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
223
click to vote
TWC
2010
15 years 2 months ago
2010
In this paper, we propose the concept of centralized dynamic spectrum leasing (C-DSL), in which multiple primary users belonging to the same primary system participate in the spect...
260
click to vote
FROCOS
2009
Springer
16 years 2 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
209
click to vote
TABLEAUX
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...