Disciplines
Computer Sciences (25%); Mathematics (75%)
Keywords
-
MANY-VALUED LOGIC,
FUZZY LOGIC,
AUTOMATED THEOREM PROVING
Research institution(s)
- Technische Universität Wien - 100%
Project participants
- Angel J. Gil Estallo, Technische Universität Wien , national collaboration partner
International project participants
- Petr Hajek, Academy of Sciences of the Czech Republic - Czechia
- Michel Parigot, Universite de Paris - France
- Arnon Avron, Tel Aviv University - Israel
- Satoko Titani, Chubu University - Japan
- Gaisi Takeuti, The University of Tsukuba - Japan
- Ventura Verdu Solans, University of Barcelona - Spain
- Grigori Mints, University of Stanford - USA
- Jan Krajicek, The University of Oxford
Research Output
- 15 Citations
- 1 Publications
Publications
-
2001
Title 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 Type Conference Proceeding Abstract Author Baaz M Pages 181-186