Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A dynamic approach to Peirce's interrogative construal of abductive logicMa, Minghui; Pietarinen, Ahti-VeikkoIfCoLog journal of logics and their applications. Vol. 3, no. 1, Special issue frontiers of abduction2016 / p. 73-104 http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf

artikkel kogumikus

2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

3

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

4

artikkel ajakirjas EST / artikkel ajakirjas ENG

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

5

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

6

artikkel ajakirjas EST / artikkel ajakirjas ENG

Peirce's calculi for classical propositional logicMa, Minghui; Pietarinen, Ahti-VeikkoThe review of symbolic logic2020 / p. 509 - 540 https://doi.org/10.1017/S1755020318000187 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

7

artikkel ajakirjas EST / artikkel ajakirjas ENG

Peirce's Dragon-Head Logic (R 501, 1901)Ma, Minghui; Pietarinen, Ahti-VeikkoArchive for History of Exact Sciences volume2022 / p. 261–317 https://doi.org/10.1007/s00407-021-00285-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

8

artikkel kogumikus EST / artikkel kogumikus ENG

Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

9

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

10

artikkel kogumikus EST / artikkel kogumikus ENG

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG