Distinguishing standard SBL-algebras with involutive negations by propositional formulas

DOI10.1002/MALQ.200610057MaRDI QIDQ3545212zbMATH OpenOpenAlexFDO

Authors Zuzana Haniková, Petr Savický

Publication date 10 December 2008

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200610057

zbMATH Keywords

fuzzy logiccontinuous t-norminvolutive negationstandard SBL-algebrastrict basic logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Recommendations

• Fuzzy Logics with Noncommutative Conjuctions
• On the axiomatic system of \(\mathrm{SBL}_\neg\)-algebras
• Fuzzy logics with an additional involutive negation
• Residuated fuzzy logics with an involutive negation
• The quest for the basic fuzzy logic
• A way to interpret Łukasiewicz logic and basic logic
• Complexity of t-tautologies
• Making fuzzy description logic more general
• Quasi-BL-algebras and their equivalence with BL-algebras

Cites work

• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 2019828 (Why is no real title available?)
• Algebraic foundations of many-valued reasoning
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• Metamathematics of fuzzy logic
• On the structure of semi-groups on a compact manifold with boundary
• Residuated fuzzy logics with an involutive negation
• Residuated logics based on strict triangular norms with an involutive negation

Cited in

(4)

• Fuzzy logics with an additional involutive negation
• A Note on Axiom System for SBLu-algebras
• On the axiomatic system of \(\mathrm{SBL}_\neg\)-algebras
• Strongly involutive uninorm algebras

This page was built for publication: Distinguishing standard SBL-algebras with involutive negations by propositional formulas

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