Expanding basic fuzzy logic with truth constants for component delimiters

DOI10.1016/J.FSS.2011.11.006zbMath1262.03041OpenAlexW2065116368MaRDI QIDQ1759708

Zuzana Haniková

Publication date: 21 November 2012

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

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

zbMATH Keywords

propositional constantsBL-chainbasic fuzzy logic BLpropositional logic of standard algebras

Mathematics Subject Classification ID

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

Related Items (2)

Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ Fuzzy sets and formal logics

Cites Work

• Unnamed Item
• Product Łukasiewicz logic
• On the structure of semi-groups on a compact manifold with boundary
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• On the independence of axioms in BL and MTL
• Varieties of BL-algebras. I: General properties.
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• Residuated fuzzy logics with an involutive negation
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
• Algebraizable logics
• On Fuzzy Logic I Many‐valued rules of inference
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
• On Product Logic with Truth-constants

This page was built for publication: Expanding basic fuzzy logic with truth constants for component delimiters