Fuzzifikace jednoduchých systémů deontické logiky
Fuzzification of simple systems of deontic logic
diplomová práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/7327Identifikátory
SIS: 27345
Katalog UK: 990006632730106986
Kolekce
- Kvalifikační práce [24991]
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
27. 9. 2006
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Velmi dobře
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.