Otsing - TalTech Publikatsioonid

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

A graphical deep inference system for intuitionistic logicPietarinen, Ahti-Veikko; Ma, MinghuiLogique et analyse2019 / p. 73-114 https://doi.org/10.2143/LEA.245.0.3285706

artikkel ajakirjas

3

artikkel kogumikus

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

artikkel kogumikus

4

artikkel ajakirjas

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill http://dx.doi.org/10.1007/s11229-017-1390-3

artikkel ajakirjas

5

artikkel ajakirjas

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 http://dx.doi.org/10.4204/EPTCS.243.7

artikkel ajakirjas

6

artikkel ajakirjas

Let us investigate! Dynamic conjecture-making as the formal logic of abductionMa, Minghui; Pietarinen, Ahti-VeikkoJournal of philosophical logic2018 / [33] p. : ill https://doi.org/10.1007/s10992-017-9454-x

artikkel ajakirjas

7

artikkel ajakirjas

Peirce's calculi for classical propositional logicMa, Minghui; Pietarinen, Ahti-VeikkoThe review of symbolic logic2018 / 31 p https://doi.org/10.1017/S1755020318000187

artikkel ajakirjas

8

artikkel ajakirjas

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

artikkel ajakirjas

9

artikkel kogumikus

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

artikkel kogumikus

10

artikkel ajakirjas

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

artikkel ajakirjas