Wissenschaftsdisziplinen
Informatik (25%); Mathematik (75%)
Keywords
-
MANY-VALUED LOGIC,
FUZZY LOGIC,
AUTOMATED THEOREM PROVING
Forschungsstätte(n)
- Technische Universität Wien - 100%
Nationale Projektbeteiligte
- Angel J. Gil Estallo, Technische Universität Wien , nationale:r Kooperationspartner:in
Internationale Projektbeteiligte
- Michel Parigot, Universite de Paris - Frankreich
- Arnon Avron, Tel Aviv University - Israel
- Satoko Titani, Chubu University - Japan
- Gaisi Takeuti, The University of Tsukuba - Japan
- Ventura Verdu Solans, University of Barcelona - Spanien
- Petr Hajek, Academy of Sciences of the Czech Republic - Tschechien
- Grigori Mints, University of Stanford - Vereinigte Staaten von Amerika
- Jan Krajicek, The University of Oxford - Vereinigtes Königreich
Research Output
- 15 Zitationen
- 1 Publikationen
Publikationen
-
2001
Titel Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic**Partly supported by the Austrian Science Fund under grant P-12652 MAT DOI 10.1109/ismvl.2001.924570 Typ Conference Proceeding Abstract Autor Baaz M Seiten 181-186