Each item below offers a choice, in a pull-down menu, of four connectives for expressing various logical relationships. For each numbered item, select the connective that best fits in the sentence.

In each item below, the sentence contains a highlighted connective introducing a condition, followed by a different connective in parentheses. In the blank box under each item, rewrite the sentence, ...

It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations ...

The ability to express causes, reasons and justifications is essential for language use. Causality appears in all kinds of texts/discourse and it can be marked for example by causal connectives and ...

The totality of extensional 1-ary connectives distinguishable in a logical framework allowing sequents with multiple or empty (alongside singleton) succedents form a lattice under a natural partial ...