| 41 |
Intricate Axioms as Interaction Axioms
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.inria.fr/hal-01193284 ; Studia Logica, Springer Verlag (Germany), 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 42 |
Ambiguity of $\omega$-Languages of Turing Machines
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 43 |
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases
|
|
|
|
In: 19th Conference on Formal Grammar held in conjunction with the 26th European Summer School in Logic, Language and Information (ESSLLI) ; FG: Formal Grammar ; https://hal.archives-ouvertes.fr/hal-01009753 ; FG: Formal Grammar, Aug 2014, Tübingen, Germany. pp.15-33, ⟨10.1007/978-3-662-44121-3_2⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 44 |
Logic : from a tool for language and reasoning in mathematics towards a teaching object ; La logique : d'un outil pour le langage et le raisonnement mathématique vers un objet d'enseignement
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01114281 ; Histoire et perspectives sur les mathématiques [math.HO]. Université Paris Diderot, 2014. Français (2014)
|
|
BASE
|
|
Show details
|
|
|
| 45 |
Category theory, logic and formal linguistics: some connections, old and new
|
|
|
|
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal.archives-ouvertes.fr/hal-00936338 ; Journal of Applied Logic, Elsevier, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 46 |
Dag Prawitz's theory of grounds: inferences and logical consequence
|
|
|
|
In: Eighth European Conference of Analytic Philosophy ; https://hal.archives-ouvertes.fr/hal-01662401 ; Eighth European Conference of Analytic Philosophy, Université de Bucarest, Aug 2014, Bucarest, Romania (2014)
|
|
BASE
|
|
Show details
|
|
|
| 47 |
Dag Prawitz's theory of grounds: inferences and logical consequence
|
|
|
|
In: Logic Colloquium ; https://hal.archives-ouvertes.fr/hal-01662396 ; Logic Colloquium, Jul 2014, Tübingen, Germany (2014)
|
|
BASE
|
|
Show details
|
|
|
| 48 |
Forcing MSO on Infinite Words in Weak MSO
|
|
|
|
In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.archives-ouvertes.fr/hal-00776921 ; 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.448-457, ⟨10.1109/LICS.2013.51⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 49 |
Logique mathématique et linguistique formelle
|
|
|
|
In: Leçons de mathématiques d'aujourd'hui ; https://hal.archives-ouvertes.fr/hal-00607693 ; Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 50 |
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
|
|
|
|
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 51 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 52 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 53 |
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most"
|
|
|
|
In: ISSN: 0986-6124 ; EISSN: 1958-9239 ; Recherches linguistiques de Vincennes ; https://hal.archives-ouvertes.fr/hal-00677312 ; Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2012, 41, pp.83-102 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 54 |
Intersection Types with Subtyping by Means of Cut Elimination
|
|
|
|
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.archives-ouvertes.fr/hal-00768868 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 121 (1-4), pp.203-226. ⟨10.3233/FI-2012-776⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
| 55 |
Logic of Time Division on Intervals of Finite Size
|
|
|
|
In: Logic of Knowledge - Theory and Applications ; https://halshs.archives-ouvertes.fr/halshs-00715642 ; Logic of Knowledge - Theory and Applications, College Publications, pp.79-114, 2012 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 56 |
Insights into Modal Slash Logic and Modal Decidability
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-00715648 ; 2012, pp.1-63 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 57 |
Découverte : le sens, structure fondamentale de la nature est formellement identifié via des formules mathématiques
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00633943 ; 2012 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 58 |
Meaning, Logic and Ludics
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00605016 ; Imperial College Press, pp.368, 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 59 |
Intuitionistic Dual-intuitionistic Nets
|
|
|
|
In: ISSN: 0955-792X ; EISSN: 1465-363X ; Journal of Logic and Computation ; https://hal.archives-ouvertes.fr/hal-00617254 ; Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (4), pp.561-587. ⟨10.1093/logcom/exp044⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 60 |
On the system F as a glue language for natural-language compositional-semantics
|
|
|
|
In: https://hal.inria.fr/inria-00616704 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
|
|
