Record link: 
http://hdl.handle.net/20.500.12708/186480
-
Title: 
Finite model building in propositional Gödel logics
en
Citation: 
Moschner, M. (2001). Finite model building in propositional Gödel logics [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186480
-
CatalogPlus: 
AC03409295
-
Publication Type: 
Thesis - Dissertation
en
Language: 
English
-
Authors: 
Moschner, Markus 
-
Advisor: 
Baaz, Matthias 
-
Organisational Unit: 
E118 - Institut für Algebra und Computermathematik 
-
Date (published): 
2001
-
Number of Pages: 
71
-
Keywords: 
Gödel, Kurt; Aussagenlogik; Modelltheorie; Funktionale Programmiersprache
de
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
 
Gegenstand ist eine neue Methode zur automatischen Gegenmodellbildung fuer Goedelsche Aussagenlogiken. Ein Algorithmus samt Implementation in OCaml wird angegeben.
de
Additional information: 
Zsfassung in dt. Sprache
-
Appears in Collections:
Thesis

Show full item record

Page view(s)

78
checked on Dec 1, 2023

Google ScholarTM

Check