Navigation par Discipline "Mathématiques [math]/Logique [math.LO]"
Voici les éléments 1-20 de 20
-
Ludique : une logique sans axiome d'identité
(2008-11)Document de travail - Pré-publication -
Séries formelles et méthodes transcendantes en géométrie modérée
(Université de Bordeaux)HDR -
Un sens logique pour les graphes sémantiques
Communication dans un congrès -
Specimens: "most of" generic NPs in a contextually flexible type theory
Communication dans un congrès -
Categorial Minimalist Grammar: From Generative Syntax To Logical Form
(Linguistic Analysis. vol. 36, n° 1--4, pp. 273--306, 2010-12)Article de revue -
On the Membership Problem for Non-Linear Abstract Categorial Grammars
(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 163-183, 2010-04)Article de revue -
Intensional Models for the Theory of Types
(The Journal of Symbolic Logic. vol. 72, n° 1, pp. 98--118, 2007)Article de revue -
Proof nets without links for Lambek calculus and partially commutative linear logic
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès -
On the system F as a glue language for natural-language compositional-semantics
(2011-08-24)Document de travail - Pré-publication -
Quantification and interaction
Communication dans un congrès -
Definability of mixed period maps
Document de travail - Pré-publication -
Category theory, logic and formal linguistics: some connections, old and new
(Journal of Applied Logic. vol. 12, n° 1, pp. 1-13, 2014-03-01)Article de revue -
A Note on Schanuel's Conjectures for Exponential Logarithmic Power Series Fields
(Archiv der Mathematik. vol. 100, n° 5, pp. 431-436, 2013)Article de revue -
The valuation difference rank of an ordered difference field
(Springer International Publishing, 2017-11-01)Chapitre d'ouvrage -
Hardy type derivations on generalized series fields
(Journal of Algebra. vol. 351, n° 1, pp. 185-203, 2012)Article de revue -
The exponential-logarithmic equivalence classes of surreal numbers
(Order. vol. 32, n° 1, pp. 53-68, 2015-03-01)Article de revue -
Exponential fields and Conway's omega-map
Document de travail - Pré-publication -
Geolocation with respect to personal privacy for the Allergy Diary app - a MASK study
(World Allergy Organization Journal. vol. 11, n° 1, 2018-12)Article de revueLibre accès
-
NOTES ON PROOF BY DICHOTOMY
(2023-10-04)Document de travail - Pré-publicationLibre accès