On three implication-less fragments of t-norm based fuzzy logics

DOI10.1016/J.FSS.2007.03.008zbMATH Open1130.03020OpenAlexW2007148072MaRDI QIDQ2457026FDOQ2457026

Authors: Àngel García-Cerdaña, Ventura Verdú, Romà J. Adillon 

Publication date: 29 October 2007

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

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

Recommendations

• On two fragments with negation and without implication of the logic of residuated lattices
• Formal systems of fuzzy logic and their fragments
• Complexity of some language fragments of fuzzy logics
• Intuitionistic implication without disjunction
• Weakly implicative (fuzzy) logics. I: Basic properties

zbMATH Keywords

deductive systemsfuzzy logicGentzen systemssequent calculust-norm based logicsimplication-less fragmentlogic of residuated lattices

Mathematics Subject Classification ID

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

Cites Work

• The semantics and proof theory of linear logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A treatise on many-valued logics
• Title not available (Why is that?)
• A proof of standard completeness for Esteva and Godo's logic MTL
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Algebraizable logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic logic for classical conjunction and disjunction
• Title not available (Why is that?)
• On Gentzen Systems Associated with the Finite Linear MV-algebras
• Logics without the contraction rule
• The variety of residuated lattices is generated by its finite simple members
• Closure operators and complete embeddings of residuated lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Title not available (Why is that?)
• On two fragments with negation and without implication of the logic of residuated lattices
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Formal systems of fuzzy logic and their fragments
• Complexity of some language fragments of fuzzy logics
• On two fragments with negation and without implication of the logic of residuated lattices

This page was built for publication: On three implication-less fragments of t-norm based fuzzy logics

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