Bc. Karel FIALA

Master's thesis

Modelování zobecněných sylogismů pomocí nových forem intermediálních kvantifikátorů

Modeling of generalized syllogisms using new forms of intermediate quantifiers
Abstract:
V této diplomové práci se budeme zabývat teorií intermediálních kvantifikátorů a zobecněných logických sylogismů. Cílem této práce je představit tuto teorii, vypracovat nové konkrétní syntaktické důkazy nových zobecněných logických sylogismů a uspořádat zobecněné logické sylogismy dle monotónnosti. V kapitole 2 a kapitole 3 budou zavedeny nezbytné pojmy týkající se teorie fuzzy množin a Łukasiewiczovy …more
Abstract:
In this diploma thesis we will deal with the theory of Intermediate Quantifiers and Generalised Logical Syllogisms. The aim of this work is to introduce this theory, to develop new concrete syntactic proofs of new generalised logical syllogisms and to order generalised logical syllogisms according to monotonicity. In Chapter 2 and Chapter 3 we will introduce the necessary concepts related to fuzzy …more
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 22. 6. 2020
Accessible from:: 31. 12. 2999

Thesis defence

  • Supervisor: RNDr. Petra Murinová, Ph.D.

Citation record

The right form of listing the thesis as a source quoted

FIALA, Karel. Modelování zobecněných sylogismů pomocí nových forem intermediálních kvantifikátorů. Ostrava, 2020. diplomová práce (Mgr.). OSTRAVSKÁ UNIVERZITA. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si nepřeje zpřístupnění práce veřejnosti

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou nedostupné.
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA, Přírodovědecká fakulta