Varying interpolation and amalgamation in polyadic MV-algebras

DOI10.1080/11663081.2015.1067037MaRDI QIDQ4586142zbMATHOpenAlexFDO

Authors Tarek Sayed Ahmed

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2015.1067037

zbMATH Keywords

many-valued logicMV-algebrasalgebraic semanticspolyadic algebrasgeneralised super amalgamationvarying interpolation property

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Amalgamation and interpolation in ordered algebras.
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• On amalgamation of reducts of polyadic algebras
• Interpolation and amalgamation; pushing the limits. I
• scientific article; zbMATH DE number 3851086

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 41101 (Why is no real title available?)
• scientific article; zbMATH DE number 67043 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• A complete first-order logic with infinitary predicates
• A new representation theory: representing cylindric-like algebras by relativized set algebras
• A representation theorem for polyadic Heyting algebras
• Algebraic Analysis of Many Valued Logics
• Algebraic Logic, Where Does it Stand Today?
• Algebraic logic for rational Pavelka predicate calculus
• Algebraizable logics
• Amalgamation and interpolation in normal modal logics
• Amalgamation of Polyadic Algebras
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Amalgamation, interpolation and epimorphisms in algebraic logic
• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• Classes of algebras without the amalgamation property
• Classes without the amalgamation property
• Cylindric algebras. Part II
• Freedom in polyadic algebras and two theorems of Beth and Craig
• Fuzzy sets
• Metamathematics of fuzzy logic
• Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
• Neat reducts and neat embeddings in cylindric algebras
• On amalgamation of reducts of polyadic algebras
• On monadic MV-algebras
• On weak and strong interpolation in algebraic logics
• Polyadic MV-Algebras
• Representability and amalgamation for Heyting polyadic algebras
• Representation theory for polyadic algebras
• Representations of monadic MV-algebras
• Some results about neat reducts
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• The class of polyadic algebras has the super amalgamation property
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
• Three interpolation theorems for typeless logics

Cited in

(3)

• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Amalgamation and interpolation in ordered algebras.
• Interpolation and amalgamation properties in varieties of equivalential algebras

This page was built for publication: Varying interpolation and amalgamation in polyadic MV-algebras

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