Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. M. Baaz. Infinite-valued Gödel logics with 0-1-projections and relativizations. In Gödel 96. Kurt Gödel’s Legacy, volume 6 of LNL, pages 23–33, 1996.
2. M. Baaz and H. Veith. An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. volume 13 of LNML, pages 91–104, 1998.
3. M. Dummett. A propositional logic with denumerable matrix. J. of Symbolic Logic, 24:96–107, 1959.
4. K. Gödel. Zum Intuitionistischen Aussagenkalkül. Ergebnisse eines mathematischen Kolloquiums, 4:34–38, 1933.
5. P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献