The logic of tied implications. II. Syntax
DOI10.1016/J.FSS.2006.03.004zbMATH Open1111.03033OpenAlexW2109979137MaRDI QIDQ853468FDOQ853468
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
Recommendations
dualitypredicate calculusmultiple-valued logicspropositional calculusHenkin theoryprelinear tied adjointness algebra
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)
Cites Work
- On Fuzzy Logic I Many‐valued rules of inference
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A treatise on many-valued logics
- A proof of standard completeness for Esteva and Godo's logic MTL
- Title not available (Why is that?)
- A small set of axioms for residuated logic
- Title not available (Why is that?)
- Hoops and Fuzzy Logic
- Associatively tied implications.
- Propositional calculus under adjointness
- The logic of tied implications. I: Properties, applications and representation
- Fuzzy sets and residuated logic
Cited In (9)
- Title not available (Why is that?)
- Relations in fuzzy class theory: initial steps
- Relational compositions in fuzzy class theory
- Associatively tied implications.
- Propositional calculus under adjointness
- The logic of tied implications. I: Properties, applications and representation
- On good EQ-algebras
- Multi-adjoint algebras versus non-commutative residuated structures
- Mathematical Fuzzy Logics
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)