Compactness of fuzzy logics.

DOI10.1016/j.fss.2003.06.002zbMath1040.03019MaRDI QIDQ1428674

Mirko Navara, Petr Cintula

Publication date: 29 March 2004

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

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

zbMATH Keywords

Triangular norm; Fuzzy logic; Satisfiability; Many-valued logic; Compactness of a logic

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

Related Items

Two notions of compactness in Gödel logics, Possibilistic conditioning framed in fuzzy logics, Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa, Strong standard completeness for continuous t-norms, Fuzzy logics with an additional involutive negation, Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras, Mathematical Fuzzy Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Mathematics behind fuzzy logic
• A survey on different triangular norm-based fuzzy logics
• Metamathematics of fuzzy logic
• The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
• A complete many-valued logic with product-conjunction
• On triangular norm-based propositional fuzzy logics
• Residuated fuzzy logics with an involutive negation
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics