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

DOI10.1016/J.FSS.2007.03.008zbMath1130.03020OpenAlexW2007148072MaRDI QIDQ2457026

Ventura Verdú, Àngel García-Cerdaña, 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

zbMATH Keywords

fuzzy logicsequent calculusdeductive systemsGentzen systemst-norm based logicsimplication-less fragmentlogic of residuated lattices

Mathematics Subject Classification ID

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

Related Items (1)

Formal systems of fuzzy logic and their fragments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The semantics and proof theory of linear logic
• Algebraic logic for classical conjunction and disjunction
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Closure operators and complete embeddings of residuated lattices
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• A proof of standard completeness for Esteva and Godo's logic MTL
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• On two fragments with negation and without implication of the logic of residuated lattices
• Logics without the contraction rule
• Algebraizable logics
• On Gentzen Systems Associated with the Finite Linear MV-algebras

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