In this paper we propose a propositional temporal language based on fuzzy temporal constraints which turns out to be expressive enough for domains –like many coming from medicine– where knowledge is of propositional nature and an explicit handling of time, imprecision and uncertainty are required. The language is provided with a natural possibilistic semantics to account for the uncertainty iss...

Entailment that is based on the application of simple production rules, of the form c← a1, . . . , an (n ≥ 0) is weaker than the propositional entailment that would be yielded by translating these rules into material implications. In this paper, we show that rulebased entailment coincides with the propositional entailment of literals, when the set of rules is closed under transposition, transit...

Research in abstract argumentation typically pertains to finite argumentation frameworks (AFs). Actual or potential infinite AFs frequently occur if they are used for the purpose of nonmonotonic entailment, so-called instantiation-based argumentation, or if they are involved as modeling tool for dialogues, n-person-games or action sequences. Apart from these practical cases a profound analysis ...

To keep notation usage down, during the proof of this step we let mt̄−1 = m and mt̄−1 = m ′. Suppose that for some t ≥ 0 there is a pair of sequences s = (st̄, . . . , st̄+t) and γ t̄,t̄+t = (γt̄, . . . , γt̄+t) such that: (a) at̄+τ (m, st̄, . . . , st̄+τ−1, γt̄, . . . , γt̄+τ−1)> at̄+τ (m′, st̄, . . . , st̄+τ−1, γt̄, . . . , γt̄+τ−1) for every τ ≤ t, and (b) at̄+t+1(m, st̄, . . . , st̄+t, γt̄, . . . , γt̄+t) ≤ at̄+t+...

We present a method to match the multi-parton states generated by the High Energy Jets Monte Carlo with parton showers generated by the ARIADNE program using the colour dipole model. The High Energy Jets program already includes a full resummation of soft divergences. Hence, in the matching it is important that the corresponding divergences in the parton shower are subtracted, keeping only the ...

Joshua Eastin and Aseem Prakash World Politics / Volume 65 / Issue 01 / January 2013, pp 156 ­ 186 DOI: 10.1017/S0043887112000275, Published online: 11 January 2013 Link to this article: http://journals.cambridge.org/abstract_S0043887112000275 How to cite this article: Joshua Eastin and Aseem Prakash (2013). Economic Development and Gender Equality: Is There a Gender Kuznets Curve?. World Polit...

Gender equality is an idea that is enshrined in the Millennium Development Goals. In order to achieve gender equality, a significant amount of women’s empowerment must occur. Since women’s empowerment is a way out of poverty, many countries have been undertaking tasks to assist women’s ascent in society. One institution that has been established is gender quotas, which allocates seats for women...

This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is ...