We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives formalize linguistic hedges like “slightly true” and “more or less”. We follow ideas of [11] and show that BLvt-logic can be enriched by a unary connective for which we can establish strong completeness with respect to the desired...

It is generally accepted that a discourse connective expresses a semantic and/or pragmatic relation between its matrix sentence or clause and something in the previous discourse. Usually the sense of this relation is expressed as a label, often within a hierarchy of sense labels. But the meaning of these labels may vary from system to system, and the same connective may be assigned different la...

The cricket is one of the model animals used to investigate neuronal mechanisms underlying adaptive locomotion. An intact walks mostly with a tripod gait, similar other insects. motor control center leg movements located in thoracic ganglia. In this study, we investigated walking gait patterns crickets whose ventral nerve cords were surgically cut gain an understanding how descending signals fr...

We present a study on the ability to comprehend conjunction, exclusive disjunction, bi-conditional and conditional. Mental model theory predicts differences in difficulty in dealing with such connectives, and it also predicts that it is easier to envisage situations that comply with an assertion than situations which do not comply. We carried out an experiment on children, adolescents and adult...

Abstract This article explores the temporal structuring of Occitan and French oral narratives. Using contemporary linguistic theory through a corpus-based analysis, it aims to explore relationship between language orality, with specific focus on two key features narrative, i.e. frames connectives. The authors create digitised corpus involving three sub-corpora demonstrating different degrees or...

Static analyses aim at inferring semantic properties of programs. We distinguish two important classes static analyses: state and relational analyses. While computing an over-approximation reachable states programs, functional over the input–output Several advantages are their ability to analyze incomplete such as libraries or classes, but also make analysis modular, using relations composable ...

In this paper, we present an approach to exploit phrase tables generated by statistical machine translation in order to map French discourse connectives to discourse relations. Using this approach, we created ConcoLeDisCo, a lexicon of French discourse connectives and their PDTB relations. When evaluated against LEXCONN, ConcoLeDisCo achieves a recall of 0.81 and an Average Precision of 0.68 fo...