-
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
-
Proof Theory
This dataset has no description
-
Interpreting and Applying Proof Theory for Modal Logic
This dataset has no description
-
Analyticity and Logic of Proofs: A challenge
International audience -
A New Definition of the Došen's Principle
Hejnice Monastery -
Review of: One Hundred Years of Intuitionism (1907-2007)
National audience -
Carnap and the Semantical Explication of Truth and Analyticity
This dataset has no description
-
Some proof theoretical remarks on quantification in ordinary language
This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general... -
Strict Antirealism and Substructural Logics
This dataset has no description
-
Some Topics concerning Identity and Contradiction in Philosophical Logic
National audience -
How to Sell a Contradiction. The Logic and Metaphysics of Inconsistency
There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth - viz. that the same thing cannot at one and...
