Results for 'Quintijn Puite'

(not author) ( search as author name )
28 found
Order:
  1.  12
    On the Jordan-Hölder decomposition of proof nets.Quintijn Puite & Harold Schellinx - 1997 - Archive for Mathematical Logic 37 (1):59-65.
    Having defined a notion of homology for paired graphs, Métayer ([Ma]) proves a homological correctness criterion for proof nets, and states that for any proof net $G$ there exists a Jordan-Hölder decomposition of ${\mathsf H}_0(G)$ . This decomposition is determined by a certain enumeration of the pairs in $G$ . We correct his proof of this fact and show that there exists a 1-1 correspondence between these Jordan-Hölder decompositions of ${\mathsf H}_0(G)$ and the possible ‘construction-orders’ of the par-net underlying $G$.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  81
    Proof nets for the multimodal Lambek calculus.Richard Moot & Quintijn Puite - 2002 - Studia Logica 71 (3):415-442.
    We present a novel way of using proof nets for the multimodal Lambek calculus, which provides a general treatment of both the unary and binary connectives. We also introduce a correctness criterion which is valid for a large class of structural rules and prove basic soundness, completeness and cut elimination results. Finally, we will present a correctness criterion for the original Lambek calculus Las an instance of our general correctness criterion.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  39
    Modularity of proof-nets.Roberto Maieli & Quintijn Puite - 2005 - Archive for Mathematical Logic 44 (2):167-193.
    When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border induced by Danos-Regnier switchings. The type of a module is then defined as the double orthogonal of its pretype. This is an optimal notion describing the behaviour of a module: two modules behave in the same way precisely if they have the same type.In this paper we define (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  13
    On the Jordan-Hölder decomposition of proof nets.Q. Puite, J. In Engelfriet, T. Spaan, H. Schellinx, R. Moot, G. J. M. In Kruijff, R. T. Oehrle, W. J. Grootjans, M. Hochstenbach & J. Hurink - 1997 - Archive for Mathematical Logic 37 (1):59-65.
    Having defined a notion of homology for paired graphs, Métayer ([Ma]) proves a homological correctness criterion for proof nets, and states that for any proof net \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document} there exists a Jordan-Hölder decomposition of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\mathsf H}_0(G)$\end{document}. This decomposition is determined by a certain enumeration of the pairs in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document}. We correct his (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  12
    Un puits d'époque paléochrétienne sur l'agora d'Argos.Askold I. Ivantchik - 2002 - Bulletin de Correspondance Hellénique 126 (1):331-404.
    Lors des fouilles des années 1990-1991 sur l'agora d'Argos, on a découvert un puits qui avait été construit au milieu ou dans la seconde moitié du IVe siècle ap. J.-C. et abandonné au moment de la destruction des principaux bâtiments de l'agora. Utilisé ensuite comme dépotoir, il fut très vite comblé, peut-être en quelques années : son remplissage, très homogène, date du début du Ve siècle ap. J.-C. Cet ensemble clos contient une centaine de lampes entières ou fragmentaires, près de (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Puits à roue élévatrice (αλακάτιν) et godets de terre à Nicosie aux époques latine, ottomane et anglaise.Véronique Hadjichristofi François - 2021 - Bulletin de Correspondance Hellénique 145:345-397.
    L’exploration archéologique du site de l’Arkipiskopi dans la vieille ville de Nicosie, conduite par Fryni Hadjichristofi et son équipe (Département des Antiquités de Chypre) de 2009 à 2011 puis en 2016, a mis au jour les vestiges d’un puits à roue élévatrice appelé à Chypre αλακάτιν/alakatin et plus habituellement connu dans le monde méditerranéen sous le nom de sakieh. S’il en existe des exemplaires plus anciens dans l’île, c’est la première machine hydraulique à traction animale permettant de puiser l’eau dans (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  38
    Le comblement d'un puits public à Thasos.Francine Blondé, Dominique Mulliez & Arthur Muller - 1991 - Bulletin de Correspondance Hellénique 115 (1):213-242.
    Publication du matériel amphorique recueilli dans le remblai au moyen duquel on a comblé vers 330 le puits monumental de la place au Nord-Est du Passage des Théores. Exceptés de rares fragments du ve siècle, l'ensemble du matériel date du ive siècle. On a dénombré près de 1500 amphores, dont 82 % sont d'origine thasienne, avec une nette prédominance de l'amphore biconique par rapport à l'amphore «en toupie». Les amphores importées viennent surtout de Grèce de l'Est (Chios et Samos) et (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    À propos d'un puits public à Érétrie.Paul Auberson - 1975 - Bulletin de Correspondance Hellénique 99 (2):789-799.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  55
    Les abords N.-E. de l'agora de Thasos. II, 1-4. Le comblement d'un puits public à Thasos.Francine Blondé, Dominique Mulliez & Arthur Muller - 1989 - Bulletin de Correspondance Hellénique 113 (2):467-471.
    Description du puits monumental de la place au NE du Passage des Théores et de la stratigraphie du comblement de la fosse. Publication du mobilier : 1 — Les monnaies (O. Picard). 2 — Les timbres céramiques (Y. Garlan). 3 — La céramique, catalogue raisonné (Fr. Blonde). 4 — Notes sur les analyses de céramiques (M. Picon). Ces catégories de matériel permettent d'avancer la date de ca 330 av. n.è. comme terminus posl quem du comblement et de la destruction de (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  13
    A Question of Origin: Hegel's Privileging of Spoken Over Written Language.John McCumber - 2003 - Hegel Bulletin 24 (1-2):50-60.
    In ‘Le puits et la pyramide’, Jacques Derrida critiques the way in which Hegel privileges speech over writing atEncyclopedia§459. He traces that privileging back to Hegel's teleologically motivated view of time as the sublation of space, which he takes in turn to be motivated by Hegel's concern, as a metaphysical thinker, for validating and securing the philosophical dream of “full presence”. This, on Hegelian terms, involves subjecting the “materiality” of space to the “ideality” of time.Perhaps surprisingly, Hegel himself openly concedes (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  23
    Verb Forms in Plavtvs.Arthur Winfred Hodgman - 1907 - Classical Quarterly 1 (2-3):97-.
    súr[ru]pŭít, at vs. end, Capt. prol. 8, 760, 1011. One would like to read similar forms in Men. 510, S000983880000505X_inline1 and in Poen. prol. 66, S000983880000505X_inline2, but these are by no means sure.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    A well with water lifting device from Kition-Bamboula: faunal remains.Audrey Renaud, Katerina Papayiannis, Kévin Bouchité, Tatiana Theodoropoulou & Armelle Gardeisen - 2020 - Bulletin de Correspondance Hellénique 144.
    La fouille du puits 883, menée par la mission française de Kition à Bamboula (2017-2018), a livré de nombreux restes fauniques au sein d’un comblement daté du ive siècle apr. J.‑C. Cet article présente les résultats d’une étude collaborative réalisée par des archéozoologues qui ont mis en évidence une grande diversité animale (bétail, carnivores, coquillages, oiseaux, rongeurs, reptiles, poissons). Ce matériel faunique offre l’opportunité d’aborder le paysage animalier d’un secteur de la ville antique dans sa multiplicité, avec des animaux liés (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    Life, Would That it Might Be To Say – Power, Metaphor, Tragen_, _Épuis(s)ement.Naomi Waltham-Smith - 2023 - Derrida Today 16 (2):158-169.
    In Insister – À Jacques Derrida Cixous declares that she will have to write ‘the book of words’, among which ‘words of power’ will be vermögen (to be able), together with Unvermöglickeit (impossibility), and tragen (to carry), along with austragen (to bear to term) and übertragen (to transfer, translate, also in the sense of metaphor). By examining Derrida's reading of Cixous in H. C. pour la vie, c'est à dire … this article deepens the association of tragen with life and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  50
    The Face of Things.Silvia Benso - 1997 - Symposium 1 (1):5-15.
    Moving from Heidegger’s suggestion that philosophy has fallen into the Thaletian well because of its inadequate theorization of the essence of things, I retrace in Heidegger’s description of things as gathering elements that enable a discourse on things in terms of their alterity,· I explore the richness of such an alterity in its differing from Levinas’s otherness of the other person; I suggest the formulation of an ethics of things which, through a reciprocal exposure of Heidegger and Levinas, might rescue (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  8
    Unité et origine des vertus dans la philosophie ancienne.Bernard Collette & Sylvain Delcomminette (eds.) - 2014 - Bruxelles: Ousia.
    Peut-on être courageux mais injuste? Sage mais intempérant? Juste mais ignorant? À ces questions, Socrate le premier répondit que c’était impossible. Le plongeur amateur qui se jette la tête la première dans un puits sans savoir ce qu’il fait n’est pas courageux – seulement téméraire et stupide. Savoir. Tout est là. Mais com- ment savoir quand il n’y a personne pour vous instruire, seulement des charlatans ou des inspirés qui ne savent pas ce qu’ils disent? S’il n’y a personne pour (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  11
    La chanson est vivante. Juliette & Pierre-Yves Monin - 2004 - Cités 19 (3):115-116.
    PIERRE-YVES MONIN. — Que dit la chanson?JULIETTE. — La chanson ne dit rien. Et la chanson peut tout dire. Cela doit dépendre de la bouche qui la fredonne et l’invente. Elle reflète peut-être le monde, la société qui l’a vue naître. Elle reflète peut-être aussi la Vérité, la vraie, celle qui sort, toute nue, de son puits. Mais elle...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Comment s'en sortir?Sarah Kofman - 1983 - Editions Galilée.
    La 4ème de couverture indique : « Peut-on se sortir de ce que Platon appelle une aporie? de cette situation intenable, cauchemardesque où, comme tombé dans les profondeurs d’un puits, vous êtes soudainement désorienté, dépourvu de toute ressource? où vous êtes piégé, encerclé, paralysé, prisonnier dans les ténèbres sans issue des liens inextricables de la mort? Peut-on sortir d’une situation infernale? Trouver un poros, c’est-à-dire inventer un stratagème, pour faire cesser la détresse, tracer un chemin qui mène de l’obscurité à (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  20
    Skyphoi de l'atelier de Chalcis (fin Xe-fin VIIIe s. av. J.-C.).Anghéliki Andrioménou - 1984 - Bulletin de Correspondance Hellénique 108 (1):37-69.
    Un sondage effectué en 1976 dans le terrain d'une usine de Chalcis a mis au jour un puits, profond de 11,50 m, contenant une abondante céramique de l'atelier de Chalcis, datant du subgéométrique I-III. On publie ici, et dans un tome suivant du BCH, les skyphoi et cratérisques skyphoïdes. Ce premier article donne les groupes les plus récents, à cause du grand intérêt scientifique des skyphoi dits à « une métope », du 2e quart du vme siècle. Le groupe le (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  25
    The Face of Things: Heidegger and the Alterity of the Fourfold.Silvia Benso - 1997 - Symposium 1 (1):5-15.
    Moving from Heidegger’s suggestion that philosophy has fallen into the Thaletian well because of its inadequate theorization of the essence of things, I retrace in Heidegger’s description of things as gathering elements that enable a discourse on things in terms of their alterity,· I explore the richness of such an alterity in its differing from Levinas’s otherness of the other person; I suggest the formulation of an ethics of things which, through a reciprocal exposure of Heidegger and Levinas, might rescue (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  26
    The “organization centre”.P. D. Nieuwkoop - 1967 - Acta Biotheoretica 17 (4):151-177.
    Experimental evidence strongly supports the view that the subdivision of organ anlagen into smaller structural units is an autonomous process. Dalcq &Pasteels' hypothesis which says that the boundaries between the different areas into which a morphogenetic field differentiates are determined by “Threshold values” in the “potential” of the field in question, is inconsistent with our present knowledge of biochemical reaction systems. Threshold values may only be used indescribing the spatial differentiation of a morphogenetic field. It is suggested that the latter (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  28
    The “organization centre”.P. D. Nieuwkoop - 1962 - Acta Biotheoretica 16 (1):57-68.
    Experimental evidence strongly supports the view that the subdivision of organ anlagen into smaller structural units is an autonomous process. Dalcq &Pasteels' hypothesis which says that the boundaries between the different areas into which a morphogenetic field differentiates are determined by “Threshold values” in the “potential” of the field in question, is inconsistent with our present knowledge of biochemical reaction systems. Threshold values may only be used indescribing the spatial differentiation of a morphogenetic field. It is suggested that the latter (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  18
    The “Organization centre”.P. D. Nieuwkoop - 1967 - Acta Biotheoretica 17 (4):178-194.
    Experimental evidence strongly supports the view that the subdivision of organ anlagen into smaller structural units is an autonomous process. Dalcq &Pasteels' hypothesis which says that the boundaries between the different areas into which a morphogenetic field differentiates are determined by “Threshold values” in the “potential” of the field in question, is inconsistent with our present knowledge of biochemical reaction systems. Threshold values may only be used indescribing the spatial differentiation of a morphogenetic field. It is suggested that the latter (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23. Deriving polarity effects.Raffaella Bernardi - unknown
    Polarity Items are linguistic expressions known for being a ‘lexically controlled’ phenomenon. In this paper we show how their behavior can be implemented in a deductive system. Further- more, we point out some possible directions to recast the deductive solution into a Tree Ad- joining Grammar system. In particular, we suggest to compare the proof system developed for Multimodal Categorial Grammar (Moot & Puite, 1999) with the Partial Proof Trees proposed in (Joshi & Kulick, 1997).
     
    Export citation  
     
    Bookmark  
  24.  7
    The first mining works at Maroneia-Kamariza in Lavrion.Georges N. Dermatis - 2019 - Bulletin de Correspondance Hellénique 143:225-242.
    La lecture des documents modernes (rapports techniques des ingénieurs grecs et français et cartes minières de la Compagnie Française des Mines du Laurium, élaborés lors de la reprise des travaux miniers à Camariza du Laurium au xixe s.) qui décrivent les restes des travaux miniers antiques à Camariza, qu’il s’agisse des terres accumulées en quantités considérables au fur et à mesure de l’extraction (haldes), des plynites rejetées au cours de la concentration ou des scories issues de la fusion, permet de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  7
    A well with water lifting device from Kition-Bamboula.Sabine Fourrier & Alexandre Rabot - 2020 - Bulletin de Correspondance Hellénique 144.
    Les fouilles récentes dans la partie nord du site archéologique de Kition-Bamboula ont conduit à la découverte d’un puits tout à fait remarquable. Par sa forme tout d’abord, puisqu’il s’agit d’un puits à roue élévatrice d’eau, d’un type qui n’était jusqu’alors documenté, à Chypre, que pour des périodes plus récentes. Par son comblement ensuite, puisque ce dernier contenait, outre divers débris, un dépôt de trois enfants (périnatals) accompagnés de mobilier. Par sa date, enfin, puisqu’il atteste une occupation de la zone (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  12
    A ceramics assemblage of the Roman imperial period from the Prytaneion well at Delos.Enora Le Quéré - 2018 - Bulletin de Correspondance Hellénique 142:317-402.
    Lors des fouilles du Prytanée de Délos en 1987, un puits d’époque classique fut mis au jour. Ce puits avait été entièrement comblé, vraisemblablement en une seule fois, à la fin du iii eou au début du iv e s. apr. J.-C., avec des matériaux divers pris sur place et une grande quantité de céramiques. Cet ensemble clos, contenant un minimum de 215 individus, est presque exclusivement constitué de fragments de céramiques communes très diverses, de céramiques culinaires et d’amphores de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    Water collection in ancient Amathus: a cistern on the hill of Vikles.Antigone Marangou, Léanna Pérès, Yiannis Violaris & Jean-Denis Vigne - 2018 - Bulletin de Correspondance Hellénique 142:145-179.
    Entre 2010 et 2011, une fouille d’urgence a été menée sur la pente Sud de la colline de Viklèsà l’Est de l’acropole d’Amathonte, et a révélé un type de réservoir d’eau alimenté depuis la surface ; découverte à ce jour unique à Chypre. Ce dispositif est constitué d’une citerne creusée dans le rocher et partiellement construite, reliée, par un passage voûté, à un puits d’accès servant également pour puiser. Ce réservoir, d’une capacité de 30 m 3environ, devait desservir les besoins (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    The coat of arms of the Toccos of Cephalonia in the inner citadel of the fortress of Arta.Brendan Osswald - 2018 - Bulletin de Correspondance Hellénique 142:803-844.
    L ’article examine des armoiries situées sur la margelle d’un puits dans la forteresse médiévale d’Arta. Ces armoiries ont été publiées en 1936 par A. Orlandos, qui les a attribuées à la famille italienne dite des Orsini, présente à Arta au xive s. L ’article démontre qu’il faut, au contraire, les attribuer à une autre famille italienne, celle des Tocco, ayant régné à Arta de 1416 à 1449. Il décrit leur composition associant aux armoiries de la famille Tocco elle‑même celles (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark