Funder
Institute for Research in Fundamental Sciences
Reference27 articles.
1. Ten problems in Gödel logic;Aguilera;Soft Comput.,2017
2. On the classification of first order Gödel logics;Baaz;Ann. Pure Appl. Log.,2019
3. Completeness of a hypersequent calculus for some first-order Godel logics with delta;Baaz,2006
4. First-order Gödel logics;Baaz;Ann. Pure Appl. Log.,2007