Commutative deductive systems of pseudo-BCK-algebras
From MaRDI portal
Publication:1797788
DOI10.1007/s00500-017-2623-6zbMath1398.06029arXiv1603.05241OpenAlexW2963628418MaRDI QIDQ1797788
Publication date: 22 October 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.05241
state operatorstate-morphism operatorpseudo-BCK-algebracommutative deductive systemstate pseudo-BCK-algebra
Related Items (10)
Pseudo-BCK Algebras Derived from Directoids ⋮ State pseudo equality algebras ⋮ On pseudo-\(e\)BE-algebras ⋮ Valued quantum B-algebras ⋮ Deductive systems in unital quantum-B algebras ⋮ Commutative pseudo-equality algebras ⋮ Fuzzy filters of pseudo-BE algebras ⋮ Involutive filters of pseudo-hoops ⋮ Commutative deductive systems in probability theory on generalizations of fuzzy structures ⋮ FUZZY MEDIAL FILTERS OF PSEUDO BE-ALGEBRAS
Uses Software
Cites Work
- State operators on GMV algebras
- State operators on generalizations of fuzzy structures
- State BL-algebras
- On axiom systems of pseudo-BCK algebras
- Commutative pseudo BCK-algebras
- Measures, states and de Finetti maps on pseudo-BCK algebras
- Subdirectly irreducible state-morphism BL-algebras
- Erratum to ``State-morphism MV-algebras
- MV-algebras with internal states and probabilistic fuzzy logics
- State-morphism MV-algebras
- Erratum to: ``State operators on generalizations of fuzzy structures
- Averaging the truth-value in Łukasiewicz logic
- State BCK-algebras and state-morphism BCK-algebras.
- On pseudo BL-algebras with internal state
- Non-commutative Multiple-Valued Logic Algebras
- On state pseudo-hoops
- Commutative Ideals in BE-algebras
- On axiom systems of propositional calculi, XIV
- An algebra related with a propositional calculus
- Bounded pseudo-hoops with internal states
- Fuzzy n-fold integral filters in BL-algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Commutative deductive systems of pseudo-BCK-algebras
