Algebras on subintervals of pseudo-hoops (Q1037927): Difference between revisions

The author enlarges the research on noncommutative versions of hoops, called pseudo-hoops. Her main interest is concentrated on the question when an interval \([a,b]\) of a pseudo-hoop can be endowed with a structure of a pseudo-hoop. An analogue of a probability measure is a state, as an averaging process for formulas in many-valued logic or in fuzzy logic. There are in principle two kinds: Bosbach states and Riečan states. The author finds relations between them; in some cases they coincide. In particular, she is also looking for the restriction of Bosbach states to subintervals.