Filtering formulas

DOI10.1007/BF02018740MaRDI QIDQ2366367zbMATH OpenOpenAlexFDO

Authors A. I. Omarov

Publication date 29 June 1993

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02018740

zbMATH Keywords

\(h\)-formulas\(P\)-formulafiltered formulareduced productvaluation in a complete continuous lattice

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Review text

\textit{E. A. Palyutin} [Algebra Logika 19, 582-614 (1980; Zbl 0491.03011)] introduced a class of formulas which he called \(h\)-formulas, instead of this term the author uses the term ``\(P\)-formula here. In the first paragraph, the notion of a normal, weakly bundled valuation in a complete continuous lattice is given. It is proved that for filtered formulas the notions of truth and global truth (i.e. the equality of the valuation of the formula to 1 of the lattice) coincide. Moreover, there is a complete proof of the theorem stated in the author's paper reviewed above on equivalence of any filtered formula to some \(P\)-formula.

Recommendations

• scientific article; zbMATH DE number 220055
• Multiplicative formulas
• MV-ALGEBRA VALUED FILTER THEORY

Cites work

• scientific article; zbMATH DE number 1357426 (Why is no real title available?)
• Orthogonal completeness and algebraic systems
• Sheaf Constructions and Their Elementary Properties

Cited in

(3)

• A.D. Taimanov and model theory in Kazakhstan
• scientific article; zbMATH DE number 3917687 (Why is no real title available?)
• scientific article; zbMATH DE number 220055 (Why is no real title available?)

This page was built for publication: Filtering formulas

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