Varying interpolation and amalgamation in polyadic MV-algebras

DOI10.1080/11663081.2015.1067037zbMATH Open1398.06009OpenAlexW1922936597MaRDI QIDQ4586142FDOQ4586142

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

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 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)

Cites Work

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

Cited In (3)

• Interpolation and amalgamation properties in varieties of equivalential algebras
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Amalgamation and interpolation in ordered 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)