Funder
Eesti Teadusagentuur
Russian Academic Excellence Grant
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference36 articles.
1. Artemov, S., & Iemhoff, R. (2007). The basic intuitionistic logic of proofs. Journal of Symbol Logic, 72, 439–451.
2. Bellucci, F., & Pietarinen, A.-V. (2016). Existential graphs as an instrument of logical analysis: Part I. Alpha. The Review of Symbolic Logic, 9, 209–237.
3. Bellucci, F., & Pietarinen, A.-V. (2017a). Assertion and denial: A contribution from logical notation. Journal of Applied Logic, 24, 1–22.
4. Bellucci, F., & Pietarinen, A.-V. (2017b). From Mitchell to Carus: 14 years of logical graphs in the making. Transactions of the Charles S. Peirce Society, 52(4), 539–575.
5. Bellucci, F., Moktefi, A., & Pietarinen, A.-V. (2017a). Simplex sigillum veri: Peano, Frege and Peirce on the primitives of logic. History and Philosophy of Logic, 39(1), 80–95.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献