Varying interpolation and amalgamation in polyadic MV-algebras

DOI10.1080/11663081.2015.1067037zbMath1398.06009OpenAlexW1922936597MaRDI QIDQ4586142

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

MV-algebrasalgebraic semanticsmany-valued logicpolyadic algebrasgeneralised super amalgamationvarying interpolation property

Mathematics Subject Classification ID

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

Related Items

TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A representation theorem for polyadic Heyting algebras
• Representations of monadic MV-algebras
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Some results about neat reducts
• Cylindric algebras. Part II
• Amalgamation and interpolation in normal modal logics
• Metamathematics of fuzzy logic
• On monadic MV-algebras
• Freedom in polyadic algebras and two theorems of Beth and Craig
• Classes without the amalgamation property
• Amalgamation, congruence-extension, and interpolation properties in algebras
• On amalgamation of reducts of polyadic algebras
• Algebraic Logic for Rational Pavelka Predicate Calculus
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• Classes of algebras without the amalgamation property
• Algebraic Analysis of Many Valued Logics
• 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 Part II: Results on amalgamation
• Algebraizable logics
• Polyadic MV-Algebras
• Three interpolation theorems for typeless logics
• Representability and amalgamation for Heyting polyadic algebras
• Algebraic Logic, Where Does it Stand Today?
• On weak and strong interpolation in algebraic logics
• Fuzzy sets
• Amalgamation of Polyadic Algebras
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)