Author:
Condoluci Andrea,Manighetti Matteo
Publisher
Open Publishing Association
Reference11 articles.
1. From de Jongh's theorem to intuitionistic logic of proofs;Artemov,2004
2. Cambridge tracts in theoretical computer science;Girard,1989
3. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes;Gödel;Dialectica,1958
4. On disjunctions and existential statements in intuitionistic systems of logic;Harrop;Mathematische Annalen,1956
5. A(nother) characterization of intuitionistic propositional logic;Iemhoff;Annals of Pure and Applied Logic,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献