-
A File System Based on Concept Analysis
We present the design of a file system whose organization is based on Concept Analysis «à la Wille-Ganter». The aim is to combine querying and navigation facilities in... -
Resource Logics and Minimalist Grammars
This report is an introduction to the ESSLLI'99 workshop with the same title. The workshop RLMG has been devoted to connecting the linguistic use of resource logics... -
Game semantics and parsing context-free lambda-grammars
Abstract categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of... -
A self-dual modality for "before" in the category of coherence spaces and in ...
In his paper ``A new constructive logic: classical logic'' Jean-Yves Girard brought up the question of a self-dual modality. This note provides a semantical solution... -
On the relation between coherence semantics and multiplicative proof nets
It is known that (mix) proof nets admits a coherence semantics, computed as a set of experiments. We prove here the converse: a proof structure is shown to be a proof... -
Decidable characterizations for tree logics
In this thesis we investigate the expressive power of several logics over finite trees. In particular we want to understand precisely the expressive power of... -
Control-flow analysis of function calls and returns by abstract interpretation
International audience -
An Epistemic Equivalence for Predictive Social Networks Analysis
International audience -
Logic in the Hyperfinite Factor: Geometry of Interaction and Complexity
This work is a study of the geometry of interaction in the hyperfinite factor introduced by Jean-Yves Girard, and of its relations with ancient constructions. We start... -
The Logic of Mere Exposure: A Reinterpretation of Anand, Holbrook, and Stephens
International audience -
The Field of Reals is not omega-Automatic
International audience -
A Logic of Reachable Patterns in Linked Data-Structures
Original article available at http://www.sciencedirect.com. -
Maintaining consistency of a database during monitoring of an evolving proces...
International audience -
Mu-Calculus Based Resolution of XPath Decision Problems
XPath is the standard declarative notation for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization,... -
Logic Functors: A Toolbox of Components for Building Customized and Embeddabl...
Logic Functors form a framework for specifying new logics, and deriving automatically theorem provers and consistency/completeness diagnoses. Atomic functors are... -
The Logic of Categorial Grammars: Lecture Notes
These lecture notes present categorial grammars as deductive systems, and include detailed proofs of their main properties. The first chapter deals with Ajdukiewicz... -
Stripping vs VP-Ellipsis in Catalan
In the tradition of Generative Grammar, several authors have explained the impossibility of vp-Ellipsis for Romance Languages following the hypothesis that vp-Ellipsis... -
A Decision Procedure for XPath Containment
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The... -
Carnap on Logical Consequence for Languages I and II
This dataset has no description
-
Which Logic for the Radical Anti-Realist ?
Since the ground-breaking contributions of M. Dummett (Dummett 1978), it is widely recognized that anti-realist principles have a critical impact on the choice of...
