Independence of axiom system of basic algebras
From MaRDI portal
Publication:2519410
DOI10.1007/s00500-008-0291-2zbMath1178.06007OpenAlexW2157838804WikidataQ114018148 ScholiaQ114018148MaRDI QIDQ2519410
Publication date: 26 January 2009
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-008-0291-2
Related Items
The Sheffer stroke operation reducts of basic algebras, Unnamed Item, States on implication basic algebras, Basic algebras and L-algebras, On varieties of basic algebras, On non-associative generalizations of MV-algebras and lattice-ordered commutative loops, On (finite) distributive lattices with antitone involutions., Filters of implication reducts of basic algebras., Unnamed Item, The propositional logic induced by means of basic algebras, States on commutative basic algebras, Tense operators on basic algebras, Pre-ideals of basic algebras, Ideals and congruences of basic algebras, On double basic algebras and pseudo-effect algebras, Unnamed Item, A note on derivations on basic algebras, Unnamed Item, The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras, An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation, A question about basic algebras, Reduced axioms for the propositional logics induced by basic algebras, Commutative basic algebras and non-associative fuzzy logics, Representations of Sheffer stroke algebras and Visser algebras, A view on state operators in Sheffer stroke basic algebras, On order types of linear basic algebras., A note on residuated po-groupoids and lattices with antitone involutions
Cites Work
