1321 search results - page 136 / 265 » Subtyping in Logical Form |
174
click to vote
ACS
2008
15 years 6 months ago
2008
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...
178
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
154
click to vote
JAR
2008
15 years 6 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
149
click to vote
JOLLI
2006
15 years 6 months ago
2006
Agents often interact strategically to meet conditions involving their own or other agents' knowledge. This interaction can be modeled using a new method of game construction...
143
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...