Projects per year
Personal profile
External positions
Fingerprint
Dive into the research topics where Ahti-Veikko Pietarinen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
- 1 Finished
-
File
Research Output
-
Interdisciplinary Aspects of Cognition
Cerone, A., Fazli, S., Malone, K. & Pietarinen, A-V., 2020, Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). Switzerland: Springer Nature, p. 103-118 (Lecture Notes in Computer Scinece; vol. 12226).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
A graphical deep inference system for intuitionistic logic
Minghui, M. & Pietarinen, A. V., Jan 1 2019, In: Logique et Analyse. 245, p. 73-114 42 p.Research output: Contribution to journal › Article › peer-review
6 Citations (Scopus) -
Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy
Pietarinen, A. V., Jun 1 2019, In: Logica Universalis. 13, 2, p. 137-145 9 p.Research output: Contribution to journal › Article › peer-review
-
Interdisciplinary Aspects of Cognition
Cerone, A., Fazli, S., Malone, K. & Pietarinen, A-V., 2019.Research output: Contribution to conference › Paper › peer-review
-
Risk and Values in Science: A Peircean View
Chiffi, D. & Pietarinen, A. V., Aug 15 2019, In: Axiomathes. 29, 4, p. 329-346 18 p.Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus)