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

Permalink: http://www.nusl.cz/ntk/nusl-269811


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses
 Record created 2017-04-24, last modified 2022-03-03


No fulltext
  • Export as DC, NUŠL, RIS
  • Share