Distinguishing standard SBL-algebras with involutive negations by propositional formulas

DOI10.1002/MALQ.200610057zbMATH Open1155.03012OpenAlexW2015505402MaRDI QIDQ3545212FDOQ3545212

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

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

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)

Cites Work

• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Title not available (Why is that?)
• On the structure of semi-groups on a compact manifold with boundary
• Residuated fuzzy logics with an involutive negation
• Title not available (Why is that?)
• Residuated logics based on strict triangular norms with an involutive negation
• Equational characterization of the subvarieties of BL generated by t-norm algebras

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)