In this paper, we study in-depth certain properties of interval-valued fuzzy sets and Atanassov’s intuitionistic fuzzy sets (A-IFSs). In particular, we study the manner in which to construct different interval-valued fuzzy connectives (or Atanassov’s intuitionistic fuzzy connectives) starting from an operator. We further study the law of contradiction and the law of excluded middle for these se...

There are several ways to extend the classical logical connectives for fuzzy truth degrees, in such a way that their behavior for the values 0 and 1 work exactly as in the classical one. For each extension of logical connectives the formulas which are always true (the tautologies) changes. In this paper we will provide a fuzzy interpretation for the usual connectives (conjunction, disjunction, ...

Anaphoric connectives are event anaphors (or abstract anaphors) that in addition convey a coherence relation holding between the antecedent and the host clause of the connective. Some of them carry an explicitly-anaphoric morpheme, others do not. We analysed the set of German connectives for this property and found that many have an additional nonconnective reading, where they serve as nominal ...

We describe our efforts to apply the Penn Discourse Treebank guidelines on a Tamil corpus to create an annotated corpus of discourse relations in Tamil. After conducting a preliminary exploratory study on Tamil discourse connectives, we show our observations and results of a pilot experiment that we conducted by annotating a small portion of our corpus. Our ultimate goal is to develop a Tamil D...

Some temporal query languages work directly on a timestamp repre sentation of the temporal database while others provide a more implicit access to the ow of time by means of temporal connectives We study the di erences in expressive power between these two approaches We rst consider rst order logic i e the relational calculus We show that rst order future temporal logic is strictly less powerfu...

Alternative proofs for Guaspari and Solovay's completeness theorems for R are presented. R is an extension of the provability logic L and was developed in order to study the formal properties of the provability predicate of PA occurring in sentences that may contain connectives for witness comparison. (The primary example of sentences involving witness comparison is the Rosser sentence.) In thi...

Öz. Edatlar dilde önemli unsurlardand?r. Geçmi?ten günümüze Dünya üzerinde kullan?m? süre gelen köklü dillerde kelime gruplar? içerisinde edatlara özel bir önem verilmi?tir. Bu dillerden biri olan Arapçada da edatlar göz ard? edilmemi?tir. ilk dönem Arap dili gramerine ait eserlerin baz?s?nda konu ele al?nm??t?r. Ancak ilerleyen dönemlerde s?rf edatlarla ilgili eserler haz?rlanm??t?r. dilindeki...