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

DOI10.1016/j.fss.2007.03.008zbMath1130.03020MaRDI 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 logic; sequent calculus; deductive systems; Gentzen systems; t-norm based logics; implication-less fragment; logic of residuated lattices

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03G25: Other algebras related to logic

03B50: Many-valued logic

Related Items

Formal systems of fuzzy logic and their fragments

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item