The logic of tied implications. II. Syntax

DOI10.1016/J.FSS.2006.03.004MaRDI QIDQ853468zbMATH OpenOpenAlexFDO

Authors 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

dualitypredicate calculusmultiple-valued logicspropositional calculusHenkin theoryprelinear tied adjointness algebra

Mathematics Subject Classification ID

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

Recommendations

• The logic of tied implications. I: Properties, applications and representation
• Associatively tied implications.
• Propositional calculus under adjointness
• scientific article; zbMATH DE number 1960700
• Algebras of consequence operators

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A proof of standard completeness for Esteva and Godo's logic MTL
• A small set of axioms for residuated logic
• A treatise on many-valued logics
• Associatively tied implications.
• Fuzzy sets and residuated logic
• Hoops and Fuzzy Logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On Fuzzy Logic I Many‐valued rules of inference
• Propositional calculus under adjointness
• The logic of tied implications. I: Properties, applications and representation

Cited in

(9)

• Multi-adjoint algebras versus non-commutative residuated structures
• The logic of tied implications. I: Properties, applications and representation
• Relations in fuzzy class theory: initial steps
• Relational compositions in fuzzy class theory
• Associatively tied implications.
• On good EQ-algebras
• Mathematical Fuzzy Logics
• scientific article; zbMATH DE number 1960700 (Why is no real title available?)
• Propositional calculus under adjointness

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

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