Distinguishing standard SBL-algebras with involutive negations by propositional formulas
From MaRDI portal
Publication:3545212
DOI10.1002/malq.200610057zbMath1155.03012MaRDI QIDQ3545212
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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- On the structure of semi-groups on a compact manifold with boundary
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Residuated fuzzy logics with an involutive negation
- Residuated logics based on strict triangular norms with an involutive negation