Original title:
Fuzzifikace jednoduchých systémů deontické logiky
Translated title:
Fuzzification of simple systems of deontic logic
Authors:
Vostrá, Nelly ; Bílková, Marta (referee) ; Běhounek, Libor (advisor) Document type: Master’s theses
Year:
2006
Language:
cze Abstract:
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.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/7327