We introduce an expansion of Basic Logic (BL) with new connectives which express fixed points of continuous formulas, i.e. formulas of BL whose connectives are among {&,∨,∧}. The algebraic semantics of this logic is studied together with some of its subclasses corresponding to extensions of the above-mentioned expansion. The axiomatic extensions are proved to be standard complete.

The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functional Completeness Theorem. Post's Theorem states the necessary and sufficient conditions for an arbitrary set of (2-valued) truth functional connectives to be expressively complete, that is, to be able to express every (2-valued) truth function or truth table. The theorem ...

The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functional Completeness Theorem. Post's Theorem states the necessary and sufficient conditions for an arbitrary set of (2-valued) truth functional connectives to be expressively complete, that is, to be able to express every (2-valued) truth function or truth table. The theorem ...

Abstract Coherence relations are expressed differently across languages, often leading to language learners misusing discourse connectives. We argue that the ability detect these errors crucially depends on coherence relation under scrutiny, as may remain unnoticed when is clause-internal and marked with a highly optional connective. focus, therefore, specifications, German-speaking sometimes s...

In our talk we would like to contrast Dutch and French causal connectives on the Speaker Involvement Scale (Degand & Pander Maat, to appear; Pander Maat & Degand, to appear). This scale is an alternative proposal to classify the use and meaning of connectives. Going beyond dichotomous and trichotomous classifications, we have proposed to represent (causal) coherence relations and connectives in...

Abstract This article aims to further test the cognitive claims of so-called subjectivity account causal events and their linguistic markers, connectives. We took Mandarin Chinese, a language that is typologically completely different from usual western languages, as case provide evidence for this account. Complementary commonly used corpora analyses, we employed crowdsourcing tap native speake...