The logic of tied implications. II. Syntax

DOI10.1016/j.fss.2006.03.004zbMath1111.03033OpenAlexW2109979137MaRDI QIDQ853468

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz El-Zekey

Publication date: 15 November 2006

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2006.03.004

zbMATH Keywords

predicate calculusdualitypropositional calculusmultiple-valued logicsHenkin theoryprelinear tied adjointness algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (6)

Relations in fuzzy class theory: initial steps ⋮ Mathematical Fuzzy Logics ⋮ On good EQ-algebras ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Relational compositions in fuzzy class theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy sets and residuated logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Associatively tied implications.
• Propositional calculus under adjointness
• The logic of tied implications. I: Properties, applications and representation
• A small set of axioms for residuated logic
• On Fuzzy Logic I Many‐valued rules of inference
• Hoops and Fuzzy Logic

This page was built for publication: The logic of tied implications. II. Syntax