1743 search results - page 114 / 349 » Generalized Modal Satisfiability |
94
Voted
APAL
2006
15 years 26 days ago
2006
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author's thesis of a model with no 2-Aronszajn trees, and also th...
120
Voted
CORR
2006
Springer
15 years 26 days ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
86
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
119
Voted
EWC
2006
15 years 25 days ago
2006
Improvements to a local modification-based anisotropic mesh adaptation procedure are presented. The first improvement focuses on control of the local operations that modify the mes...
110
Voted
FSS
2006
15 years 25 days ago
2006
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general comple...