Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Stavy na algebrách
Štěpánová, Martina
Stavy na algebrách Abstrakt: Stavy jsou speciálními případy zobrazení do množiny reálných čísel. V práci představíme stavy na uspořádaných abelovských grupách, MV-algebrách, GMV-algebrách a komutativních DRl-mo- noidech. Popíšeme některé vlastnosti zmíněných algeber a poukážeme na vztahy mezi nimi. Například GMV-algebry (algebraický protějšek nekomutativní nekonečně hodnotové logiky) jsou nekomutativním zobecněním MV-algeber (algebraická analogie k Łukasiewiczově nekonečně hod- notové logice) a MV-algebry jsou speciálním případem komutativních DRl-monoidů. Představeny jsou věty o existenci, resp. jednoznačnosti stavů a tvrzení o hodnotách, kterých stavy nabývají.
Stavy na algebrách
Štěpánová, Martina
Stavy na algebrách Abstrakt: Stavy jsou speciálními případy zobrazení do množiny reálných čísel. V práci představíme stavy na uspořádaných abelovských grupách, MV-algebrách, GMV-algebrách a komutativních DRl-mo- noidech. Popíšeme některé vlastnosti zmíněných algeber a poukážeme na vztahy mezi nimi. Například GMV-algebry (algebraický protějšek nekomutativní nekonečně hodnotové logiky) jsou nekomutativním zobecněním MV-algeber (algebraická analogie k Łukasiewiczově nekonečně hod- notové logice) a MV-algebry jsou speciálním případem komutativních DRl-monoidů. Představeny jsou věty o existenci, resp. jednoznačnosti stavů a tvrzení o hodnotách, kterých stavy nabývají.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.