Formulas on the lattice of fuzzy subalgebras in universal algebra (Q2372304)
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 5174604
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formulas on the lattice of fuzzy subalgebras in universal algebra |
scientific article; zbMATH DE number 5174604 |
Statements
Formulas on the lattice of fuzzy subalgebras in universal algebra (English)
0 references
26 July 2007
0 references
The transfer principle is studied. The notions of transferable form and strict-transferable form of open formulas are introduced and it is proved that the transfer principle holds both for universal sentences whose matrices are of the former type and existential sentences whose matrices are of the latter type, giving the equivalence for every abstract algebra. In order to study when a given general sentence satisfies the principle, the Skolem normal form is examined.
0 references
fuzzy subalgebra
0 references
first-order formulas
0 references
Skolem normal form
0 references
0.8228257894515991
0 references
0.7976663708686829
0 references
0.789466142654419
0 references
0.753847062587738
0 references
0.7537148594856262
0 references
