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.