Author:
Larchey-Wendling Dominique
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie des Wissenschaften Wien 69, 65–66 (1932)
2. Dummett, M.: A Propositional Calculus with a Denumerable matrix. Journal of Symbolic Logic 24, 96–107 (1959)
3. Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)
4. Dyckhoff, R.: Contraction-free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic 57, 795–807 (1992)
5. Dyckhoff, R.: A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic. Logical Journal of the IGPL 7, 319–326 (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献