Strong standard completeness for continuous t-norms

DOI10.1016/J.FSS.2018.01.001zbMath1397.03037OpenAlexW2782880808MaRDI QIDQ1795210

Agnieszka Kułacka

Publication date: 16 October 2018

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

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

zbMATH Keywords

fuzzy logicmany-valued logict-normsstrong completeness theoremBL logicinfinitary rule

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• The proof by cases property and its variants in structural consequence relations
• Metamathematics of fuzzy logic
• Compactness of fuzzy logics.
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
• A complete many-valued logic with product-conjunction
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions

This page was built for publication: Strong standard completeness for continuous t-norms