-
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... -
Principe de charité et sciences de l'homme
According to the principle of charity, we always have to make the assumption that other people are rational when we try to interpret their behavior. This paper is a... -
Compte rendu d'ouvrage : J.-H. Lambert, Phénoménologie, trad. G. Fanfalone, P...
International audience -
Gentzen Calculi for Modal Propositional Logic
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main... -
Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a ...
According to the Polish logician S. Leśniewski, definitions give the whole meaning of the symbol they define and nothing more if, and only if, they respect two... -
Towards a Satisfying Proof Analysis of the Logic of Proofs
International audience -
Proof Theory
This dataset has no description
