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 (28)
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 ⋮ Simple Logics for 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
This page was built for publication: Independence of axiom system of basic algebras
