A graphical deep inference system for intuitionistic logic
author
Pietarinen, Ahti-Veikko
Ma, Minghui
statement of authorship
Ahti-Veikko Pietarinen, Minghui Ma
source
Logique et analyse
journal volume number month
vol. 245
year of publication
2019
pages
p. 73-114
url
https://doi.org/10.2143/LEA.245.0.3285706
subject term
loogika
graafid
about the person
Peirce, Charles Sanders, 1839-1914
ISSN
0024-5836
notes
Bibliogr.: 51 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/5800167966
https://www.scopus.com/record/display.uri?eid=2-s2.0-85066258215&origin=inward&txGid=f09760be9343056532d1745827a37d2c
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20ANAL&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000462555300004
category (general)
Arts and humanities
Kunst ja humanitaarteadused
category (sub)
Arts and humanities. Philosophy
Kunst ja humanitaarteadused. Filosoofia
quartile
Q3
TalTech department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise
Reserch Group
Philosophy of science and technology