Publisher
Springer International Publishing
Reference35 articles.
1. Došen, K. (1980). Logical constants: An essay in proof theory, Doctoral thesis. University of Oxford.
http://www.mi.sanu.ac.rs/~kosta/publications.htm
2. Došen, K. (1996) Deductive completeness. The Bulletin of Symbolic Logic, 2 (pp. 243–283, 523). (For corrections see Došen 2001, Sect. 5.1.7, and Došen 2003).
3. Došen, K. (1997). Logical consequence: A turn in style. In M. L. Dalla Chiara et al. (Eds.), Logic and Scientific Methods, Volume I of the 10th International Congress of Logic, Methodology and Philosophy of Science, Florence 1995 (pp. 289–311). Dordrecht: Kluwer.
http://www.mi.sanu.ac.rs/~kosta/publications.htm
4. Došen, K. (2001). Abstraction and application in adjunction. In Z. Kadelburg (Ed.), Proceedings of the Tenth Congress of Yugoslav Mathematicians, Faculty of Mathematics, University of Belgrade, Belgrade (pp. 33–46).
http://arXiv.org
5. Došen, K. (2003). Identity of proofs based on normalization and generality. The Bulletin of Symbolic Logic, 9, 477–503. (Version with corrected remark on difunctionality available at:
http://arXiv.org
)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献