A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Language and semantics of expressions for Grafcet model synthesis in a MDE environment
Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
2021
ARIMA
Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
Preserved Fulltext
Nous proposons également un métamodèle et une sémantique associée des expressions Grafcet pour faciliter la mise en oeuvre du langage Grafcet sous la forme d'un parseur des expressions Grafcet G7Expr obtenu ...
Le GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) est un puissant lan-gage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événe-ments discrets. ...
Enfin en section V, nous présentons une discussion relative à la contribution de ce travail, suivie d'une conclusion. ...
doi:10.46298/arima.6452
fatcat:4zrwrrt4krakbo622ftgyn7phm
L'interaction sociale comme fondement de la signification logique
2017
Revista de Humanidades de Valparaíso
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Si cette approche de la logique mathématique a connu des progrès méritoires, il faut signaler qu'elle ne favorise pas la mise en exergue des aspects épistémiques et interactifs dans les notions de conséquences ...
les contenus des expressions linguistiques des sémantiques pragmatiques. ...
Notre contribution vise à développer le cadre de prédilection de l'interaction sociale comme le fondement des logiques actuelles, d'une part et, d'examiner les différents principes de base des sémantiques ...
doi:10.22370/rhv.2017.9.853
fatcat:c4e625qu65ddxpvqcrzzvebzj4
Collectif, Modern Views of Medieval Logic
2019
Cahiers de civilisation médiévale
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Terence Parsons) et dans ses prolongements vers une sémantique des modalités (avec la contribution de Simo Knuuttila). Enfin, l'influence d'A. ...
Prior se fait sentir dans deux contributions portant sur l'étude de la logique temporelle médiévale, appliquée à une question philosophico-théologique centrale à la fin du Moyen Âge, celle des futurs contingents ...
doi:10.4000/ccm.4367
fatcat:umyhygvxxjd4tevwht4yznns54
Logiques et sémantiques non classiques
1997
Dialogue: Canadian Philosophical Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Leblanc qu'ont ete developpees des semantiques et des logiques non standard (logiques libres, avec ou sans identite; semantique en termes de valeurs de verite; et semantique probabiliste entre autres), ...
Mais Fimportance de la contribution fregeenne reside surtout dans son developpement de la theorie de la quantification sous la forme d'un calcul des predicats. ...
Dummett a propose de substituer a la semantique vericonditionnelle fregeenne, une extension de la semantique de la logique intuitionniste qui devient, pour la langue naturelle, une semantique en termes ...
doi:10.1017/s0012217300009252
fatcat:s7e5kqrswrggnkaw34vgdoixli
Preface
2011
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Preface This text is both meant as a preface to this volume of Theoretical Computer Science dedicated to Jean-Yves Girard, and as a short essay in French (with an English summary) on the relation between ...
The idea of this volume grew out contemporaneously with the following events that were organised on the occasion of Jean-Yves' 60th birthday: Pierre-Louis Curien Laboratoire Preuves, Programmes et Systèmes ...
L'influence, directe ou diffuse, de la logique linéaire sur l'ensemble du milieu de la sémantique (qui recouvre le continuum allant de la conception à l'implantation des langages de programmation et des ...
doi:10.1016/j.tcs.2010.12.015
fatcat:32hbvy6qqvd7jdjxhrvf53iktu
Préfixe, suffixe, mots de la même famille…
2014
Repères
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
La prise en compte des logiques didactiques associées à l'objet dans les textes curriculaires considérés permet d'éclairer cette conceptualisation, de même que la prise en compte de la terminologie en ...
La dérivation en tant qu'objet d'enseignement occupe une place de choix dans les textes des programmes, récents et actuels, qui régissent l'enseignement du vocabulaire au cycle 3 de l'école élémentaire ...
La contribution se propose à partir d'une étude de la terminologie employée dans les programmes d'enseignement récents et actuels, qui datent respectivement de 2002, 2007 (sachant que ces programmes, ...
doi:10.4000/reperes.706
fatcat:d2zcvxy25nb2jb4zxeed5qjfai
Signe et signification à l'aune de la dichotomie syntaxe / sémantique
2015
Corela
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Ce sont les Recherches logiques (1901) qui, à ce niveau, prolongent le programme fondationnaliste des années 1890 en élargissant sa portée à l'enquête de l'essence rationnelle de toute science déductive ...
Et puisque de fait, syntaxe et sémantique figurent désormais à l'interface de la logique et de la linguistique, on cherchera alors ici à établir la généalogie de leur divergence. ...
doi:10.4000/corela.3838
fatcat:62q7apmoynbq7ox7j6bdhkcwsm
Introduction - Des Jeux en logique
2004
Philosophia Scientiæ
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
L'étude de diverses logiques IF, dont la sémantique des jeux est partie intégrante, est en train de devenir un programme de recherche avec ses questions propres, logico-mathématiques, philosophiques et ...
l'autre, se sontétablis en quelques décennies : (a) la logique dialogique ; (b) la théorie sémantique des jeux de Hintikka et de ses collaborateurs ; (c) la théorie générale des jeux et de la logique de ...
doi:10.4000/philosophiascientiae.554
fatcat:zednjke6nzgxxfo3hwfgwavcra
Les actes de discours. Essai de philosophie du langage et de l'esprit sur la signification des énonciations. Daniel Vanderveken, 1988, Bruxelles, Pierre Mardaga éditeur, collection Philosophie et langage, 226 p
1991
Revue québécoise de linguistique
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Il s'agit ici «d'appliquer l'appareil logique de la sémantique générale à l'analyse lexicale des principaux verbes de parole de la langue française» (165). ...
de la logique formelle. ...
doi:10.7202/602716ar
fatcat:3jvhohfq2ndgxm56g6jgqpfo74
Êtes-Vous Logique Ou Pragmatique? Une Perspective Pragmatique Sur Les Relations Entre Logique Et Langage
2015
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
La conférence publiée ici a été présentée par Jacques Moeschler, professeur ordinaire de linguistique française à l'Université de Genève, à l'occasion de la réunion du Comité de l'Académie suisse des sciences ...
La contribution se termine sur un inventaire des recherches futures et des implications de l'approche pragmatique pour la recherche dans les sciences humaines et sociales. ...
à la philosophie qu'à la linguistique) et idéologiques (la méfiance séculaire des linguistes vis-à-vis de la logique). ...
doi:10.5281/zenodo.891216
fatcat:ln2w5mffnbf3dh442cgt2ngtja
Présentation
2003
Linx
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Je me rappelle notamment ce programme qui conseillait ou déconseillait de manger des huîtres selon le nom du mois. ...
qu'il me revint de reprendre d'un cursus de Linguistique et Informatique, domaine où il avait été un pionnier, en participant à l'élaboration du programme qui permettrait l'interrogation en langue naturelle ...
Multiples sont les approches du sens ; les deux contributions suivantes relèvent de cette sémantique logique qui fut une préoccupation centrale de Michel Galmiche. ...
doi:10.4000/linx.106
fatcat:ebpjgoma3bc5fp2j3ns4fey3fu
La logique modale des modèles d'équilibre
2012
Revue d'intelligence artificielle : Revue des Sciences et Technologies de l'Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
La sémantique de la logique de l'équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. ...
Nous donnons ici une sémantique directe de la logique de l'équilibre en termes d'un langage modal dans lequel le langage de la logique de l'équilibre peut être traduit. ABSTRACT. ...
Le présent article s'intéresse à la sémantique de ce formalisme. Il existe plusieurs sémantiques pour la programmation par ensembles réponse (Lifschitz, 2010) . ...
doi:10.3166/ria.26.85-102
fatcat:7hg36y7urnf5ndj35ei32ddrmu
L'apport de l'analyse sémantique latente à l'analyse des politiques publiques multiniveaux : un exemple avec la politique de formation tout au long de la vie
2016
Revue Internationale de Politique Comparée
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Ce processus soulève à la fois la question de l'évolution du rôle de l'État nation dans les nouvelles formes de gouvernance européenne, de l'appropriation nationale des normes communautaires, de la place ...
une double logique de négociation et de reddition de comptes 3 avec les différents niveaux. ...
Ont été retenus les 42 mots du dictionnaire dont la contribution au premier axe était supérieure à la contribution moyenne des mots à l'axe. ...
doi:10.3917/ripc.231.0007
fatcat:sprr33efg5fp5dr2fybdbqntmi
Linguistiques textuelles et discursives
2020
Pratiques
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Skalička (1948) , ont introduit dans la langue, avec la parole, ce qui deviendra l'élément naturel 9 de la sémantique logique de R. Martin : « la dynamique communicative » , p. 206). ...
Martin) qui ont marqué les sciences du langage telles qu'elles se sont développées et illustrées à Metz à travers la linguistique textuelle ainsi que la sémantique logique et référentielle. ...
doi:10.4000/pratiques.8521
fatcat:aca6xqg6crbz7lhhwmsogjpoqu
Vers un Calcul des Significations dans l'Analyse des Langues
2020
Revista de Filosofia Moderna e Contemporânea
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
L'article présente des réflexions épistémologiques sur le programme de recherche qui a pour objet l'étude de l'activité de langage exprimée par les langues, activité qui ne se ramène pas à la simple communication ...
et à l'expression de la pensée. ...
Dans l'étude de la sémantique des langages de la logique moderne et des langages de programmation, la pragmatique et la signification ne semblent pas opératoires, ce qui n'est évidemment pas le cas lorsqu'on ...
doi:10.26512/rfmc.v8i1.31016
doaj:7c4abb25efb44b4da8ced287889fad6d
fatcat:fmdmfc7xn5e5tcci2wej54hs34
« Previous
Showing results 1 — 15 out of 7,095 results