Zpět na vyhledávání

Mgr. Petra MURINOVÁ

Doctoral thesis

A formal theory of intermediate generalized quantifiers

A formal theory of intermediate generalized quantifiers
Abstract:
This thesis studies the formal theory of the, so called, intermediate quantifiers. We introduce Lukasiewicz fuzzy type theory (denoted by LFTT) based on a linearly ordered MV-algebra extended by delta operation. We formally prove validity of all the 105 generalized syllogisms. Finally, we proposed the definitions of contrary, sub-contrary and contradictory in LFTT which are appropriate for description …more
Abstract:
Práce se zabívá studiem formální teorie intermediálních kvantifikátorů. Uvedeme Lukasiewiczovu fuzzy teorii typů (LFTT), která je založena na MV-algebře s deltou. Dokážeme, že všech 105 zobecněných sylogismů jsou formálně dokazatelné v LFTT. V závěru práce navrhneme definice opaku, protikladu a podopaku v LFTT, pomocí nichž ukážeme vztahy mezi zobecněnými intermediálními kvantifikátory.
 

Keywords

Fuzzy teorie typů Zobecněné kvantifikátory Intermediální kvantifikátory Aristotelovy sylogismy Aristotelův čtverec opaků
 
Language used: English
Date on which the thesis was submitted / produced: 12. 7. 2011
Accessible from:: 12. 7. 2011

Thesis defence

  • Date of defence: 1. 12. 2011
  • Supervisor: prof. Ing. Vilém Novák, DrSc.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

MURINOVÁ, Petra. A formal theory of intermediate generalized quantifiers. Ostrava, 2011. disertační práce (Ph.D.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 12.7.2011

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 12. 7. 2011 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=24519 Reference to the local database file of the institution