• Abduction and diagramsPietarinen, Ahti-VeikkoLogic journal of the IGPL2020 / p. 447-468 https://doi.org/10.1093/jigpal/jzz034 https://www.scopus.com/sourceid/5000154601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126949687&origin=inward&txGid=bef89df6b74dffd8b63219c533264a21 https://jcr.clarivate.com/jcr-jp/journal-profile?app=jcr&referrer=target%3Dhttps:%2F%2Fjcr.clarivate.com%2Fjcr-jp%2Fjournal-profile%3Fjournal%3DSYNTHESE%26year%3D2022&Init=Yes&journal=SYNTHESE&authCode=null&year=2020&SrcApp=IC2LS https://www.webofscience.com/wos/woscc/full-record/WOS:000734403000004
• Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
• Assertion and denial : a contribution from logical notationsPietarinen, Ahti-Veikko; Bellucci, FrancescoJournal of applied logic2017 / p. 1-22 : ill https://doi.org/10.1016/j.jal.2017.01.001 https://www.scopus.com/sourceid/24779 https://www.scopus.com/record/display.uri?eid=2-s2.0-85011556547&origin=inward&txGid=c44285dd4ef1188232d4e810e336cf1c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000419419900001
• Assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied non-classical logics2018 / p. 72–91 https://doi.org/10.1080/11663081.2017.1418101 https://www.scopus.com/sourceid/21100205762 https://www.scopus.com/record/display.uri?eid=2-s2.0-85041628393&origin=inward&txGid=058680a38d5849d0416e56c73c45f7f5
• Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 23 p. : ill https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf https://www.scopus.com/sourceid/21100925611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111108312&origin=inward&txGid=e5644a19e1f9f32aece89ccb2dec99b9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOG-IFCOLOG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000620168700003
• A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978390183&origin=inward&txGid=2a6171454c1bafb68bdb41c08ff941bc https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000384382000018
• Existential graphs as an instrument of logical analysis : part I. AlphaBellucci, Francesco; Pietarinen, Ahti-VeikkoThe review of symbolic logic2016 / p. 209-237 : ill https://doi.org/10.1017/S1755020315000362 https://www.scopus.com/sourceid/19800188078 https://www.scopus.com/record/display.uri?eid=2-s2.0-84959213331&origin=inward&txGid=7e38f462141f84a416bc57c044548ed2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=REV%20SYMB%20LOGIC&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000384117100001
• Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146099127&origin=inward&txGid=e753cd9810cba002d855b9a491c660f7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001022300300001
• Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021667822&origin=inward&txGid=d522754df60b9687387a7a2dd226b959 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000001
• Hintikka memorial issue : introduction and remarks on Jaakko Hintikka's logical philosophyPietarinen, Ahti-VeikkoLogica Universalis2019 / p. 137–145 https://doi.org/10.1007/s11787-019-00222-4 https://www.scopus.com/sourceid/6400153123 https://www.scopus.com/record/display.uri?eid=2-s2.0-85065330641&origin=inward&txGid=e0668eeae149a6748160b2400ae42cd7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20UNIVERSALIS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000483694800001
• Lewis Carroll’s almost diagrammatic logic notationEnglebretsen, George; Moktefi, AmiroucheLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2023 / p. 151-168 https://doi.org/10.1007/978-3-030-94452-0_8 https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146597643&origin=inward&txGid=ac4e1ebd27b9a7a9600f0f17cfc522f3
• Logical investigations on assertion and denialCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroJournal of applied logic2017 / p. S1-S2 https://doi.org/10.1016/j.jal.2017.11.003 https://www.scopus.com/sourceid/24779 https://www.scopus.com/record/display.uri?eid=2-s2.0-85038882731&origin=inward&txGid=be706de004425b92535af3d14243de1e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000423246400001
• Modeling of the human lower-limb motion, design and control of knee joint orthosisMusalimov, Victor; Monahov, Yury; Tamre, Mart; Rõbak, Dmitri; Sivitski, Alina; Aryassov, Gennady; Penkov, IgorInternational review on modelling and simulations (IREMOS)2017 / p. 371-376 https://doi.org/10.15866/iremos.v10i5.11853 https://www.scopus.com/sourceid/19700202601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85041197121&origin=inward&txGid=7ddd5490219b897b4dc6d2071c01fbe1
• Modelling and simulation of human lower-limb motionŽigailov, Sergei; Musalimov, Victor; Arjassov, Gennadi; Penkov, IgorInternational review on modelling and simulations (IREMOS)2016 / p. 114-123 : ill https://doi.org/10.15866/iremos.v9i2.8358 https://www.scopus.com/sourceid/19700202601 https://www.scopus.com/record/display.uri?eid=2-s2.0-84973643466&origin=inward&txGid=9ce2a34d0d33899f8b4f14873d74c3bd https://www.webofscience.com/wos/woscc/full-record/WOS:000399031206143
• On assertion and denial in the logic for pragmaticsCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroJournal of applied logic2017 / p. S97-S107 : ill https://doi.org/10.1016/j.jal.2017.11.002 https://www.scopus.com/sourceid/24779 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036654296&origin=inward&txGid=10da4c24617c600112e7863643058795 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000423246400006
• Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85104417236&origin=inward&txGid=06cb22366fc447c4b2b53c7efef0f855 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000653017200003
• Peirce's calculi for classical propositional logicMa, Minghui; Pietarinen, Ahti-VeikkoThe review of symbolic logic2020 / p. 509 - 540 https://doi.org/10.1017/S1755020318000187 https://www.scopus.com/sourceid/19800188078 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051701593&origin=inward&txGid=34c14f3bdac1edbd87754fdcb228892f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=REV%20SYMB%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000556822700004
• Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85129234344&origin=inward&txGid=818c3937048fab32997e9a37dfae214c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000799966300001
• PrefaceBéziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca ChristineLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2022 / p. v-ix https://link.springer.com/content/pdf/bfm:978-3-030-94452-0/1?pdf=chapter%20toc https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146605227&origin=inward&txGid=f54298a0637177c5ce61b34204261d66
• Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y https://www.scopus.com/sourceid/144951 https://www.scopus.com/record/display.uri?eid=2-s2.0-85006387005&origin=inward&txGid=4bd3baf46af92218b70cc2e4ed091c56 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000401436800008
• A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 https://www.scopus.com/sourceid/25620 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052635835&origin=inward&txGid=88591c09dd53528010ccdabe71fa309b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000454114000001
• Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85181915516&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Protocol+choice+and+iteration+for+the+free+cornering%22%29&sessionSearchId=a1950993a8713b95c4defac4e2fbf8c1&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001154322400001
• Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85189029411&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Regular+planar+monoidal+languages%22%29&sessionSearchId=a8f0a943e59e9ac836047baed6d1091c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001219761900001
• The representation of negative terms with Euler diagramsBhattacharjee, Reetu; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2023 / p. 43-58 https://doi.org/10.1007/978-3-030-94452-0_3 https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146625165&origin=inward&txGid=911afd36015edcca1db8c7eb7d7ff009
• Schopenhauer's Eulerian diagramsMoktefi, AmiroucheLanguage, logic, and mathematics in Schopenhauer2020 / p. 111-127 https://doi.org/10.1007/978-3-030-33090-3_8 https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105658641&origin=inward&txGid=7529093911a7c03934448173ead308ec
• To Peirce Hintikka's thoughtsPietarinen, Ahti-VeikkoLogica Universalis2019 / p. 241–262 https://doi.org/10.1007/s11787-018-0203-x https://www.scopus.com/sourceid/6400153123 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051711259&origin=inward&txGid=7b6cbaecf688419d09d2a5bda5f4cfbe https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20UNIVERSALIS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000483694800009
• Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logicMoktefi, AmiroucheLogica universalis2021 / p. 359–379 : ill https://doi.org/10.1007/s11787-021-00286-1 https://www.scopus.com/sourceid/6400153123 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112401560&origin=inward&txGid=aed28a39f11f8966cb29e22c2642441b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20UNIVERSALIS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000683212400001