Název: Fuzzifikace jednoduchých systémů deontické logiky
Překlad názvu: Fuzzification of simple systems of deontic logic
Autoři: Vostrá, Nelly ; Bílková, Marta (oponent) ; Běhounek, Libor (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2006
Jazyk: cze
Abstrakt: Deontické logiky bývají formalizovány jako druh modálních logik. V této práci aplikuji fuzzy modální logiku na dvojí systémy monadick ých deontických logik - systémy deontické logiky v užším smyslu a systémy alethické logiky s výrokovou konstantou Q. Pro tyto nové fuzzy deontické logiky dokazuji lokální větu o dedukci, korektnost vřuči příslušným fuzzy rámcřum a definovatelnost deontick ých systémřu v alethických.

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/7327

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-269811


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce