<div class="csl-bib-body">
<div class="csl-entry">Baldi, P. (2015). <i>Standard completeness : proof-theoretic and algebraic methods</i> [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25980</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2015.25980
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/4907
-
dc.description
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers
-
dc.description
Zsfassung in dt. Sprache
-
dc.description.abstract
Die vorliegende Thesis leistet einen Beitrag zur mathematischen Fuzzylogik, einem prominenten Forschungsgebiet innerhalb der nicht-klassischen Logik, welches Anwendungen in der Mathematik, der Informatik und den Ingenieurwissenschaften findet. Beispielhaft hierfür seien die Forschungsgebiete der Expertensysteme, der Kontrolltheorie und der Wissensrepräsentation genannt. Ziel der mathematischen Fuzzylogik ist es, vage Aussagen, wie ''X ist gross'', ''X ist jung'' oder ''X ist klein'', formal zu behandeln, also Aussagen, die in vielen Fällen weder vollständig wahr noch vollständig falsch genannt werden können. Derartige Aussagen sind in der klassischen Logik schwerlich zu erfassen, da deren Semantik lediglich zwei Wertigkeiten besitzt, nämlich wahr und falsch. Der Ansatz der Fuzzylogik besteht darin, mehr als diese beiden Wahrheitswerte zuzulassen. Insbesondere werden als Wahrheitswerte in der Standardsemantik für Fuzzylogik alle Zahlen des reellen Einheitsintervalls [0,1] zugelassen, also ein Kontinuum von Wahrheitswerten zwischen absoluter Falschheit
de
dc.description.abstract
The thesis is a contribution to Mathematical Fuzzy Logic. This is a prominent research area within the broader field of nonclassical logics, with significant mathematical interest and also computer science and engineering applications, e.g. in expert systems, control theory and knowledge representation. Mathematical Fuzzy Logic aims to deal formally with statements involving vague predicates, such as ''X is tall'',''X is young'', ''X is small'', which in many cases seem to be neither completely true nor completely false. Such statements pose a serious challenge for classical logic, whose semantics admits only two truth values,
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
computational logic
en
dc.title
Standard completeness : proof-theoretic and algebraic methods
en
dc.title.alternative
Standard completeness: proof-theoretic and algebraic methods