<div class="csl-bib-body">
<div class="csl-entry">Moschner, M. (2001). <i>Finite model building in propositional Gödel logics</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186480</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/186480
-
dc.description
Zsfassung in dt. Sprache
-
dc.description.abstract
A new method for automated counter model building for propositional Goedel Logics is the subject. An algorithm with an implementation in OCaml is given.
en
dc.description.abstract
Gegenstand ist eine neue Methode zur automatischen Gegenmodellbildung fuer Goedelsche Aussagenlogiken. Ein Algorithmus samt Implementation in OCaml wird angegeben.
de
dc.language
English
-
dc.language.iso
en
-
dc.subject
Gödel, Kurt
de
dc.subject
Aussagenlogik
de
dc.subject
Modelltheorie
de
dc.subject
Funktionale Programmiersprache
de
dc.title
Finite model building in propositional Gödel logics
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E118 - Institut für Algebra und Computermathematik
