Search

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 in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be “completed” conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives.

Algebras (A, ∧, ∨, ~, γ, 0, 1) of type (2,2,1,1,0,0) such that (A, ∧, ∨, ~, γ 0, 1) is a De Morgan algebra and γ is a lattice homomorphism from A into its center that satisfies one of the conditions (i) a ≤ γa or (ii) a ≤ ~ a ∧ γa are considered. The dual categories and the lattice of their subvarieties are determined, and applications to Lukasiewicz algebras are given.