Strong standard completeness for continuous t-norms

DOI10.1016/J.FSS.2018.01.001zbMATH Open1397.03037OpenAlexW2782880808MaRDI QIDQ1795210FDOQ1795210

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

many-valued logicfuzzy logict-normsstrong completeness theoremBL logicinfinitary rule

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Strong standard completeness theorems for S5-modal Łukasiewicz logics

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Regular left-continuous t-norms 👍 👎
• On a class of left-continuous \(\text t\)-norms 👍 👎
• Continuous Archimedean t-norms and their bounds 👍 👎
• Strong Cauchy completeness in uniform frames 👍 👎
• On the completeness of normed spaces 👍 👎
• Continuous T-norms and T-conorms Satisfying the Principle of Inclusion and Exclusion 👍 👎
• On the Equational Characterization of Continuous t-Norms 👍 👎
• Completeness of a normed space via strong p-Cesàro summability 👍 👎

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

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