Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5

Hits 1 – 20 of 87

1	The contextual logic
	Kohler, Arnaud
	In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
	BASE
	Show details

2	A gentle introduction to Girard's Transcendental Syntax for the linear logician
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
	BASE
	Show details

3	Dialogical Logic
	Mcconaughey, Zoe; Clerbout, Nicolas
	In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
	BASE
	Show details

4	Game of Grounds
	Piccolomini d'Aragona, Antonio; Catta, Davide; d’Aragona, Antonio Piccolomini
	In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
	BASE
	Show details

5	Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
	Piccolomini d'Aragona, Antonio; d’Aragona, Antonio Piccolomini
	In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022)
	BASE
	Show details

6	Grounding, Quantifiers, and Paradoxes
	Genco, Francesco,; Poggiolesi, Francesca; Rossi, Lorenzo
	In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021)
	BASE
	Show details

7	Multiplicative Linear Logic from Logic Programs and Tilings
	Eng, Boris; Seiller, Thomas
	In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
	BASE
	Show details

8	A gentle introduction to Girard's Transcendental Syntax for the linear logician
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

9	Stellar Resolution: Multiplicatives - for the linear logician, through examples
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

10	A gentle introduction to Girard's Transcendental Syntax for the linear logician
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

11	Stellar Resolution: Multiplicatives - for the linear logician, through examples
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

12	Modelling predicates in propositional syntax ; Modélisation de prédicats dans la syntaxe propositionnelle
	Kohler, Arnaud
	In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2021 (2021)
	BASE
	Show details

13	Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
	Moot, Richard. - : HAL CCSD, 2021
	In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
	BASE
	Show details

14	Logical foundations for hybrid type-logical grammars
	Moot, Richard; Stevens-Guille, Symon Jory
	In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021)
	BASE
	Show details

15	Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
	Piccolomini d'Aragona, Antonio
	In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03319247 ; Journal of Philosophical Logic, Springer Verlag, 2021, ⟨10.1007/s10992-021-09621-9⟩ (2021)
	BASE
	Show details

16	Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds
	Piccolomini d'Aragona, Antonio
	In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03372615 ; Studia Logica, Springer Verlag (Germany), 2021, ⟨10.1007/s11225-021-09969-8⟩ (2021)
	BASE
	Show details

17	Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
	Catta, Davide. - : HAL CCSD, 2021
	In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
	BASE
	Show details

18	Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
	Catta, Davide. - : HAL CCSD, 2021
	In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
	Abstract: This thesis is situated at the intersection of several disciplines: on the one hand,mathematical logic and theoretical computer science, on the other hand, natural languageprocessing and formal semantics of natural language. The thread tying thesetopics together is the constant use of tools and methodologies of proof theory and thephilosophical problem that motivated our thesis: what are the links between the notionof proof and that of linguistic meaning? More concretely, we study formal proofssystems. in these systems proofs are seen as winning strategies for two-player games.In the games one player, called the Proponent, tries to construct a justification for a certainstatement while the other, the Opponent, tries to refute this statement. Our thesisis composed of three parts, each part containing a maximum of three chapters.The first part is preparatory. In the two chapters that compose it we present the mathematicaltools used in our thesis as well as the philosophical question that underlieour research.The second part consists of two long chapters and presents the central proof-theoreticalresults of our thesis. In the first chapter of this part we present a dialogical logic systemfor classical first order logic. We show that, given a formula A, A is a logical theoremif and only if there is a proponent winning strategy for A. Dialogical logic systems forclassical first-order logic have existed since the 1960’s. However there is no convincingproof of this result in the literature. In the second chapter of this second part wepresent a denotational semantics for the constructive variant of the modal logic K. Ourdenotational semantics is a game semantics: the proofs of modal logic are interpretedby winning strategies for two-player games. We show that our game semantics has aremarkable property; it is ’fully complete’: every winning strategy is the interpretationof a proof of modal logic.The third and last part of our thesis consists of three chapters. Each chapter is devotedto an application of proof theory to the semantics of natural language. In thefirst chapter, we study the relationship between the categorical syntactic analyses ofa sentence and the logical representations of the sentence. We show that, when certainconditions are met, the function that transforms syntactic analyses of a sentenceinto logical representations is injective. In the second chapter of this third part, we useour dialogical logic system, together with type logical grammars, to solve textual entailmentproblems. In the last chapter of this section we present a formal system forthe resolution of anaphora and ellipsis. This problem is usually addressed by model theoreticmethods. We, on the contrary, present a solution based on proof theory. Wedevelop a dialogical logic system in which anaphora and ellipsis can be solved in asimple way.In the conclusion, we sketch possible future developments of our research. Bothfrom a mathematical and logical point of view and from the point of view of naturallanguage applications. ; Notre travail de thèse se situe au carrefour de plusieurs disciplines : d’une part, lalogique mathématique et l’informatique théorique, d’autre part le traitement automatiquedu langage naturel et plus particulièrement la sémantique formelle du langagenaturel. Le fil conducteur est la présence constante des méthodes logiques issues de lathéorie de la preuve et par le problème philosophique qui a motivé notre thèse : quelssont les liens entre la notion de preuve et celle de signification linguistique ou logique? Plus concrètement, nous étudions des systèmes formels dont les preuves sont vuescomme des stratégies gagnantes pour des jeux à deux joueurs. Dans ces jeux, un jouer,appelé Proposant, essaye de construire une justification pour un certain énoncé tandisque l’autre, l’Opposant, essaye de construire une réfutation de cet énoncé.La thèse est composée de trois parties, chaque partie contenant deux ou trois chapitres.La première partie est propédeutique. Dans les deux chapitres qui la composentnous présentons les outils mathématiques utilisés dans notre thèse ainsi que les principeslogiques et philosophiques qui ont guidés nos travaux, notamment la sémantiqueinférentialiste.La deuxième partie de notre thèse contient deux longs chapitres, lesquels présententles résultats de théorie de la démonstration qui constituent le cœur de notre thèse. Enparticulier, dans le premier chapitre de cette partie, nous définissons précisément unsystème de logique dialogique pour la logique classique du premier ordre avec termes.Nous montrons que, pour une formule A, l’existence d’une stratégie gagnante pour Aéquivaut au fait que A est un théorème logique. Bien que des systèmes de logiquedialogique pour la logique classique du premier ordre existent depuis les années 1960il n’existait pas à ce jour de preuve convaincante publiée de ce résultat, notammenten présence de termes. Dans le deuxième chapitre de cette deuxième partie, nous présentonsune sémantique dénotationnelle pour la variante constructive de la logiquemodale K. En particulier notre sémantique dénotationnelle est une sémantique desjeux dans laquelle les preuves de la logique modale sont interprétées par des stratégiesgagnantes pour des jeux à deux jouer. Nous montrons que notre sémantique possèdeune propriété remarquable : elle est ‘pleinement adéquate’ (fully complete) c’est-à-direque toute stratégie gagnante est l’interprétation d’au moins une preuve de la logiquemodale.La troisième et dernière partie se compose de trois chapitres, chacun étant consacréà une application de nos travaux en théorie de la démonstration à la sémantiquedu langage naturel. Dans le premier chapitre, nous étudions le rapport entre les analysessyntaxiques catégorielles d’une même phrase et les représentations sémantiqueslogiques de la phrase analysée. Nous montrons que, lorsque certaines conditions sont respectées, la fonction qui transforme les analyses syntaxiques d’une phrase en représentations logiques est injective. Dans le deuxième chapitre de cette troisièmepartie, nous appliquons notre système de logique dialogique à la résolution au problèmede la reconnaissance d’inférences en langage naturel en utilisant un analyseursyntaxique et sémantique catégoriel. Dans le dernier chapitre de cette partie, nous présentonsun système formel pour la résolution d’anaphore et ellipses, problème généralementabordé par des méthodes de théorie des modèles. Nous, au contraire, présentonsune solution basée sur la théorie de la démonstration, en développant un systèmede logique dialogique qui permet de résoudre simplement les anaphores et les ellipses.Dans la conclusion, nous faisons le bilan de notre travail de thèse et essayons dedécrire les développements futurs possibles de notre recherche, tant du point de vuemathématique et logique que du point de vue des applications au langage naturel.
	Keyword: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; Dialogical Semantics; Game Semantics; logique mathématique; Mathematical Logic; Natural Language Processing; Proof theory; sémantique des jeux; sémantique dialogique; Théorie de la preuve; traitement automatique du langage naturel
	URL: https://tel.archives-ouvertes.fr/tel-03553000v2/document https://tel.archives-ouvertes.fr/tel-03553000v2/file/TESI-CATTA.pdf https://tel.archives-ouvertes.fr/tel-03553000
	BASE
	Hide details

19	A categorical study of spectral dualities ; Une étude catégorique des dualités spectrales
	Osmond, Axel. - : HAL CCSD, 2021
	In: https://hal.archives-ouvertes.fr/tel-03609605 ; Category Theory [math.CT]. Université de Paris, 2021. English (2021)
	BASE
	Show details

20	Mathematical works of Vladimir A. Uspensky: a commentary (Enlgish and Russian texts) ; Математические работы Владимира Андреевича Успенского: комментарии (английский и русский текст)
	Shen, Alexander
	In: Vladimir A. Uspensky. Non-mathematical works collection (Russian version) ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688 ; Vladimir A. Uspensky. Non-mathematical works collection (Russian version), 2020, 978-5-94282-675-8 (2020)
	BASE
	Show details

Page: 1 2 3 4 5

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern