Internal states on equality algebras

DOI10.1007/S00500-014-1494-3zbMath1392.06013OpenAlexW2007473754MaRDI QIDQ344089

Lavinia Corina Ciungu

Publication date: 22 November 2016

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-014-1494-3

zbMATH Keywords

BCK-algebraequality algebrainternal statestate-morphism operator

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items (16)

Involutive equality algebras ⋮ State pseudo equality algebras ⋮ Characterization of monadic BL-algebras by state operators ⋮ Generalized state maps and states on pseudo equality algebras ⋮ States on implication basic algebras ⋮ Unnamed Item ⋮ Ideals in bounded equality algebras ⋮ Commutative pseudo-equality algebras ⋮ Equality Logic ⋮ State maps on semihoops ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Unnamed Item ⋮ Results on equality algebras ⋮ Unnamed Item ⋮ Filter theory on hyper equality algebras ⋮ A view on state operators in Sheffer stroke basic algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo equality algebras
• On pseudo-equality algebras.
• On good EQ-algebras
• State operators on GMV algebras
• State operators on generalizations of fuzzy structures
• State BL-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Subdirectly irreducible state-morphism BL-algebras
• Erratum to ``State-morphism MV-algebras
• On fuzzy type theory
• MV-algebras with internal states and probabilistic fuzzy logics
• State-morphism MV-algebras
• EQ-algebras
• Metamathematics of fuzzy logic
• Averaging the truth-value in Łukasiewicz logic
• Equality algebras
• State BCK-algebras and state-morphism BCK-algebras.
• EQ-algebra-based fuzzy type theory and its extensions
• On axiom systems of propositional calculi, XIV
• Bounded pseudo-hoops with internal states

This page was built for publication: Internal states on equality algebras