536 search results - page 13 / 108 » From Formal Concept Analysis to Contextual Logic |
117
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
168
click to vote
IGPL
1998
15 years 5 months ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
165
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
152
click to vote
FCA
2005
Springer
15 years 11 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
113
click to vote
TCS
2002
15 years 5 months ago
2002
Streams are acyclic directed subgraphs of the logical ow graph of a proof representing bundles of paths with the same origin and the same end. The notion of stream is used to desc...