3552 search results - page 46 / 711 » Proof theory in the abstract |
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— This paper derives a novel property of the secondorder modes of discrete-time systems under variable transformation. This is the generalization of the theory presented ...
132
click to vote
LACL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
111
click to vote
COMMA
2006
15 years 3 months ago
2006
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
ACTAC
2002
15 years 1 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
131
Voted
CADE
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...