Expanding basic fuzzy logic with truth constants for component delimiters

DOI10.1016/j.fss.2011.11.006zbMath1262.03041MaRDI 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 constants; BL-chain; basic fuzzy logic BL; propositional logic of standard algebras

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03G25: Other algebras related to logic

03B50: Many-valued logic

Related Items

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