3994 search results - page 23 / 799 » A Linear Logical Framework |
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
āThis paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
APAL
2007
13 years 11 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
We present one way of combining a logical framework and ļ¬rst-order logic. The logical framework is used as an interface to a ļ¬rst-order theorem prover. Its main purpose is to k...
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...