3994 search results - page 65 / 799 » A Linear Logical Framework |
116
Voted
INFFUS
2006
15 years 14 days ago
2006
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...
103
click to vote
INFORMATICALT
2007
15 years 11 days ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
91
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
118
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
145
click to vote
APLAS
2001
ACM
15 years 4 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...