Expanding basic fuzzy logic with truth constants for component delimiters

DOI10.1016/J.FSS.2011.11.006MaRDI QIDQ1759708zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• A fuzzy logic for an ordinal sum t-norm
• Basic fuzzy logic and BL-algebras. II
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties

Cites work

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

Cited in

(5)

• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
• Axiomatizations of standard algebras for fuzzy PC by use of truth constants
• An expansion of basic logic with fixed points
• Fuzzy sets and formal logics

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

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