Fuzzifikace jednoduchých systémů deontické logiky
Fuzzification of simple systems of deontic logic
diploma thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/7327Identifiers
Study Information System: 27345
Collections
- Kvalifikační práce [23838]
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
27. 9. 2006
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Very good
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.