Search
Now showing items 1-1 of 1
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Formalization of the deducibility relation of propositional fuzzy logics
bachelor thesis (DEFENDED)
Advisor: Běhounek, Libor
Date Issued: 2016
Date of defense: 01. 02. 2016
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic ...