1670 search results - page 76 / 334 » On Skolemization in constructive theories |
165
click to vote
AML
2002
15 years 6 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
165
click to vote
COSIT
2007
Springer
16 years 15 days ago
2007
Springer
Rough sets have been applied in spatial information theory to construct theories of granularity – presenting information at different levels of detail. Mathematical morphology c...
152
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a coordination approach towards creating and maintaining alignment between the business and its support systems. The business objectives are related to the...
180
click to vote
DCC
2011
IEEE
15 years 1 months ago
2011
IEEE
In this paper all cocyclic Hadamard matrices of order less than 40 are classified. That is, all such Hadamard matrices are explicitly constructed, up to Hadamard equivalence. Thi...
161
click to vote
CALCO
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...