Funder
Austrian Science Fund
Fonds Wetenschappelijk Onderzoek
Reference10 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. First-order Gödel logics;Baaz;Ann. Pure Appl. Log.,2007
4. A propositional logic with denumerable matrix;Dummett;J. Symb. Log.,1959
5. Zum Intuitionistischen Aussagenkalkül;Gödel,1933