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)
|
|
Abstract:
quatorze pages ; After twenty four centuries of research, sense - a fundamental structure from nature also called etaphysical sense - has been isolated and formally identified through writing. Sense's written representation can apparently be grasped, just like any object, between two defined sets of formulas with both identical and opposite specificities. One of these sets belongs to mathematics, the other to language. Sense has a clear function : it has a structuring effect to "make up" nature. This effect consists of giving a direction to what it constitutes. This direction can itself be found within nature, within the content of a formula or the very aspect of writing. Notions that are linked to Sense spontaneously united themselves in a formal and thoroughly coherent whole that doesn't allow any exception. Sense also leads to the identification of the natural cognitive function named logic and of another cognitive faculty bound to it and able to grasp it. It thus establishes the nature - language - cognitive ability link. ; Après vingt-quatre siècles de recherches, le sens ; structure fondamentale de la nature (appelé aussi " sens métaphysique "), a été isolé et formellement identifié via l'écrit. La représentation écrite du sens s'est révélée saisissable, comme un objet, entre deux ensembles délimités de formules aux spécificités identiques et inverses. L'un des ensembles est mathématique, l'autre est en langage courant. Le Sens a une fonction ; il a un effet structurant pour " fabriquer " la nature. Cet effet est de donner une direction à ce qu'il compose. Cette direction se retrouve dans la nature, dans le contenu des formules et dans l'aspect même de l'écriture. Les notions liées au Sens se sont unifiées d'elles mêmes en un ensemble complètement cohérent, formel et sans exception. Le sens conduit également à identifier la fonction cognitive naturelle de la logique ainsi que celle d'une autre faculté cognitive liée, qui saisit le sens. Il établit ainsi le lien nature - langage - faculté cognitive.
|
|
Keyword:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph]; [PHYS.MPHY]Physics [physics]/Mathematical Physics [math-ph]; [SCCO.LING]Cognitive science/Linguistics; [SHS.HISPHILSO]Humanities and Social Sciences/History; [SHS.LANGUE]Humanities and Social Sciences/Linguistics; cognition; cognitive linguistics; épistémologie; epistemology; fondement des mathématiques; fondement du langage; formal language; foundations of language; foundations of mathematics; langage formel; logique; Philosophy and Sociology of Sciences
|
|
URL: https://hal.archives-ouvertes.fr/hal-00633943v4/file/Discovery_Sense_a_fundamental_structure_of_nature.pdf https://hal.archives-ouvertes.fr/hal-00633943v4/document https://hal.archives-ouvertes.fr/hal-00633943v4/file/Decouverte_le_sens_structure_fondamentale_de_la_nature.pdf https://hal.archives-ouvertes.fr/hal-00633943
|
|
BASE
|
|
Hide 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
|
|
|
|