Negational Fragment of Intuitionistic Control Logic

We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum. Having two different falsum constants enables to define two forms of negation. We analyse implicational relations between negational monadic formulae and present a poset of non equivalent formulae of this fragment of ICL.Comment: Draft, 22 page

Monadic Fragments of Intuitionistic Control Logic

We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite

Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej

Badamy fragmenty oraz własnosci Intuicjonistycznej Logiki Kontrolnej, która została wprowadzona przez Ch. Lianga i D. Millera. Logike te mozna do pewnego stopnia traktowac jako połaczenie logiki intuicjonistycznej i logiki klasycznej. Powstaje ona z Intuicjonistycznej Logiki Zdaniowej poprzez dodanie do jezyka nowej stałej falsum oznaczanej przez ?, róznej od falsum intuicjonistycznego oznaczanego przez 0. Dzieki temu mozliwe jest wydefiniowanie dwóch róznych negacji: zwykłej negacji intuicjonistycznej oraz nowej negacji posiadajacej pewne cechy negacji w logice klasycznej. W Rozdziale 1 prezentujemy podstawowe definicje i twierdzenia dotyczace Intuicjonistycznej Logiki Zdaniowej, na tle których w nastepnych rozdziałach jest rozpatrywana Intuicjonistyczna Logika Kontrolna. Rozdział 2 rozpoczynamy od przytoczenia definicji i twierdzen dotyczacych Intuicjonistycznej Logiki Kontrolnej. Implusem do stworzenia tej logiki było poszukiwanie systemu logicznego, w którym mozna wydefiniowac operatory kontrolne znane z funkcyjnych jezyków programowania z równoczesnym zachowaniem siły wyrazu intuicjonistycznej implikacji. Na gruncie Intuicjonistycznej Logiki Kontrolnej odbywa sie to poprzez nowa negacje , co pociaga pytania o charakteryzacje negacyjnego fragmentu monadycznego w tej logice. Podajemy kompletny opis tego fragmentu. Nastepnie badamy pozostałe fragmenty monadyczne w odniesieniu do znanych wyników dotyczacych Intuicjonistycznej Logiki Zdaniowej. W szczególnosci podajemy krate fragmentu monadycznego bez intuicjonistycznego falsum. W Rozdziale 3 rozwazamy pojecie odpowiednika modalnego (ang. modal companion) znanego z badan nad logikami posrednimi. Intuicjonistyczna Logika Kontrolna nie jest logika posrednia, poniewaz powstaje poprzez rozszerzenie jezyka, a nie poprzez dodanie aksjomatów. Mimo tego mozna zanurzyc Intuicjonistyczna Logike Kontrolna w pewna logike modalna. W szczególnosci podajemy zanurzenie tej logiki w zdaniowa logike modalna z kwantyfikatorami zdaniowymi, która jest wyznaczona poprzez klase skonczonych drzew z niezwrotnym korzeniem. Tak zdefiniowana logika nie jest a priori rozstrzygalna, jednak pokazujemy, ze mozna ja zinterpretowac w monadycznej teorii drugiego rzedu S!S, co pociaga jej rozstrzygalnosc

Feasibility of using citations as document summaries

The purpose of this research is to establish whether it is feasible to use citations as document summaries. People are good at creating and selecting summaries and are generally the standard for evaluating computer generated summaries. Citations can be characterized as concept symbols or short summaries of the document they are citing. Similarity metrics have been used in retrieval and text summarization to determine how alike two documents are. Similarity metrics have never been compared to what human subjects think are similar between two documents. If similarity metrics reflect human judgment, then we can mechanize the selection of citations that act as short summaries of the document they are citing. The research approach was to gather rater data comparing document abstracts to citations about the same document and then to statistically compare those results to several document metrics; frequency count, similarity metric, citation location and type of citation. There were two groups of raters, subject experts and non-experts. Both groups of raters were asked to evaluate seven parameters between abstract and citations: purpose, subject matter, methods, conclusions, findings, implications, readability, andunderstandability. The rater was to identify how strongly the citation represented the content of the abstract, on a five point likert scale. Document metrics were collected for frequency count, cosine, and similarity metric between abstracts and associated citations. In addition, data was collected on the location of the citations and the type of citation. Location was identified and dummy coded for introduction, method, discussion, review of the literature and conclusion. Citations were categorized and dummy coded for whether they refuted, noted, supported, reviewed, or applied information about the cited document. The results show there is a relationship between some similarity metrics and human judgment of similarity.Ph.D., Information Studies -- Drexel University, 200

Analyse de la structure logique des inférences légales et modélisation du discours juridique

Thèse par articles.La présente thèse fait état des avancées en logique déontique et propose des outils formels pertinents à l'analyse de la validité des inférences légales. D'emblée, la logique vise l'abstraction de différentes structures. Lorsqu'appliquée en argumentation, la logique permet de déterminer les conditions de validité des inférences, fournissant ainsi un critère afin de distinguer entre les bons et les mauvais raisonnements. Comme le montre la multitude de paradoxes en logique déontique, la modélisation des inférences normatives fait cependant face à divers problèmes. D'un point de vue historique, ces difficultés ont donné lieu à différents courants au sein de la littérature, dont les plus importants à ce jour sont ceux qui traitent de l'action et ceux qui visent la modélisation des obligations conditionnelles. La présente thèse de doctorat, qui a été rédigée par articles, vise le développement d'outils formels pertinents à l'analyse du discours juridique. En première partie, nous proposons une revue de la littérature complémentaire à ce qui a été entamé dans Peterson (2011). La seconde partie comprend la contribution théorique proposée. Dans un premier temps, il s'agit d'introduire une logique déontique alternative au système standard. Sans prétendre aller au-delà de ses limites, le système standard de logique déontique possède plusieurs lacunes. La première contribution de cette thèse est d'offrir un système comparable répondant au différentes objections pouvant être formulées contre ce dernier. Cela fait l'objet de deux articles, dont le premier introduit le formalisme nécessaire et le second vulgarise les résultats et les adapte aux fins de l'étude des raisonnements normatifs. En second lieu, les différents problèmes auxquels la logique déontique fait face sont abordés selon la perspective de la théorie des catégories. En analysant la syntaxe des différents systèmes à l'aide des catégories monoïdales, il est possible de lier certains de ces problèmes avec des propriétés structurelles spécifiques des logiques utilisées. Ainsi, une lecture catégorique de la logique déontique permet de motiver l'introduction d'une nouvelle approche syntaxique, définie dans le cadre des catégories monoïdales, de façon à pallier les problèmes relatifs à la modélisation des inférences normatives. En plus de proposer une analyse des différentes logiques de l'action selon la théorie des catégories, la présente thèse étudie les problèmes relatifs aux inférences normatives conditionnelles et propose un système déductif typé.The present thesis develops formal tools relevant to the analysis of legal discourse. When applied to legal reasoning, logic can be used to model the structure of legal inferences and, as such, it provides a criterion to discriminate between good and bad reasonings. But using logic to model normative reasoning comes with some problems, as shown by the various paradoxes one finds within the literature. From a historical point of view, these paradoxes lead to the introduction of different approaches, such as the ones that emphasize the notion of action and those that try to model conditional normative reasoning. In the first part of this thesis, we provide a review of the literature, which is complementary to the one we did in Peterson (2011). The second part of the thesis concerns our theoretical contribution. First, we propose a monadic deontic logic as an alternative to the standard system, answering many objections that can be made against it. This system is then adapted to model unconditional normative inferences and test their validity. Second, we propose to look at deontic logic from the proof-theoretical perspective of category theory. We begin by proposing a categorical analysis of action logics and then we show that many problems that arise when trying to model conditional normative reasoning come from the structural properties of the logic we use. As such, we show that modeling normative reasoning within the framework of monoidal categories enables us to answer many objections in favour of dyadic and non-monotonic foundations for deontic logic. Finally, we propose a proper typed deontic system to model legal inferences

Study on open science: The general state of the play in Open Science principles and practices at European life sciences institutes

Nowadays, open science is a hot topic on all levels and also is one of the priorities of the European Research Area. Components that are commonly associated with open science are open access, open data, open methodology, open source, open peer review, open science policies and citizen science. Open science may a great potential to connect and influence the practices of researchers, funding institutions and the public. In this paper, we evaluate the level of openness based on public surveys at four European life sciences institute