Bounded pseudo-hoops with internal states
From MaRDI portal
Publication:5746299
DOI10.2478/s12175-013-0144-zzbMath1324.03029OpenAlexW2014312535MaRDI QIDQ5746299
Publication date: 18 February 2014
Published in: Mathematica Slovaca (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/s12175-013-0144-z
state operatorGlivenko propertypseudo-hoop(mN) property(SO) propertyC-state operatoridempotent pseudo-hoopstate pseudo-hoopstate-morphism pseudo-hoopstrong state operator
Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) MV-algebras (06D35)
Related Items (10)
Generalized Bosbach states. I ⋮ Characterization of monadic BL-algebras by state operators ⋮ Generalized state maps and states on pseudo equality algebras ⋮ Internal states on equality algebras ⋮ Minimal prime state filters and state radicals on state pseudo BL-algebras ⋮ State hoops ⋮ State maps on semihoops ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Commutative deductive systems of pseudo-BCK-algebras ⋮ Involutive filters of pseudo-hoops
Cites Work
This page was built for publication: Bounded pseudo-hoops with internal states