scientific article; zbMATH DE number 1013865

Publication date 2 September 1997

intermediate quantifier quantification theory quantifiers in powers

Many-valued logic (03B50) Algebraic logic (03G99)

Ten years ago we have extended universal algebras in powers [ibid. 29(52), No. 1, 73-79 (1987; Zbl 0641.08001)] and studied some of their properties [ibid. 30(53), No. 1, 61-65 (1988; Zbl 0671.08004); Pepr., ``Babeş-Bolyai Univ., Fac. Math. Phys., Res. Semin. 1988, No. 5, 2-20 (1988; Zbl 0671.08006)]; the last result, concerning extensions of bivalent propositional and predicate logic, is presented in ``Power logics [Stud. Univ. Babeş-Bolyai, Math. 37, No. 4, 3-7 (1992)] and ``Power predicates [Mathematika 36, No. 1, 1-4 (1994; Zbl 0842.03048)], respectively. Here, we extend quantifiers in powers, using a ``global extension, which naturally gives a trichotomy in quantification theory, by defining an ``intermediate quantifier. Some open problems arise, three of which are formulated at the end of this paper.

Cited in

(5)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4337893)