• Refine your search:
  • 
    Keyword:
    
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (87)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (49)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (39)
    • [SHS.PHIL]Humanities and Social Sciences / Philosophy (39)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (24)
    • Philosophy and Sociology of Sciences (22)
    • [SHS.HISPHILSO]Humanities and Social Sciences / History (22)
    • [SCCO.LING]Cognitive science / Linguistics (17)
    • ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.2: Lambda calculus and related systems (8)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (8)
    •   more
  • 
    Creator / Publisher:
    
    • Aix Marseille Université (AMU) (22)
    • Retoré, Christian (20)
    • Piccolomini d'Aragona, Antonio (18)
    • Laboratoire Bordelais de Recherche en Informatique (LaBRI) (17)
    • Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) (17)
    • Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS) (15)
    • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) (12)
    • La Sapienza (11)
    • Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES) (11)
    • Università degli Studi di Roma "La Sapienza" Rome (11)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 Hits 41 – 60 of 87 41 Intricate Axioms as Interaction Axioms Aucher, Guillaume 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 Finkel, Olivier 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 Retoré, Christian 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 Mesnil, Zoé. - : HAL CCSD, 2014 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 Gillibert, Jean; Retoré, Christian 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 Piccolomini d'Aragona, Antonio 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 Piccolomini d'Aragona, Antonio 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 Riba, Colin 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 Retoré, Christian 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 Retoré, Christian 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 Abrusci, Michele; Retoré, Christian 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 Retoré, Christian 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" Retoré, Christian 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 Laurent, Olivier 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 Tulenheimo, Tero 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 Tulenheimo, Tero 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 Cotte, Alain 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 Lecomte, Alain. - : HAL CCSD, 2011. : Imperial College Press, 2011 In: https://hal.archives-ouvertes.fr/hal-00605016 ; Imperial College Press, pp.368, 2011 (2011) BASE Show details 59 Intuitionistic Dual-intuitionistic Nets Laurent, Olivier 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 Retoré, Christian In: https://hal.inria.fr/inria-00616704 ; 2011 (2011) BASE Show details Page: 1 2 3 4 5

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 87 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0