No label defined (Q4337893)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1013865
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1013865 |
Statements
2 September 1997
0 references
intermediate quantifier
0 references
quantifiers in powers
0 references
quantification theory
0 references
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.
0 references
