While ∧,∨,¬ form a complete set of connectives for classical propositional logic, this does not hold for Łukasiewicz’s three-valued propositional logic, nor its generalization to n-valued logic. We define a unary connective r so that ∧,∨,¬, r form a complete set of connectives for n-valued Łukasiewicz logic. We discuss generalizations of this to infinitary logics. If we allow infinite conjuncti...

The paper tries to contribute to the general definition of discourse connectives. It examines connectives in broader sense, i.e. all language expressions that have an ability to express discourse relations within a text (e.g. both conjunctions like but, and, or and expressions like the condition for this is, due to this situation etc.). The paper tries to classify connectives from different per...

Of the common commutative binary logical connectives, only and and ormay be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevant, that is, as connectives that take sets of arguments. This is especially evident in the Common Logic Interchange Format, in which it is easy for operators to be given arbitrary numbers of arguments. The reason is that...

Logic programming such as Prolog is often sequential and slow because each execution step processes only a single, micro connective. To fix this problem, we propose to usemacro connectives as the means of improving both readability and performance. keywords: Prolog, macro connectives, synthetic connectives.

Discourse connectives can often signal multiple discourse relations, depending on their context. The automatic identification of the Arabic translations of seven English discourse connectives shows how these connectives are differently translated depending on their actual senses. Automatic labelling of English source connectives can help a machine translation system to translate them more corre...

We aim to study the difference of usage between two causal connectives in their semantic context. We present an ongoing study of two Dutch backward causal connectives omdat and want. Previous linguistic research has shown that causal constructions with want are more subjective and often express an opinion. Our hypothesis is that the left and right context surrounding the connectives are more se...