A graphical deep inference system for intuitionistic logic
autor
Pietarinen, Ahti-Veikko
Ma, Minghui
vastutusandmed
Ahti-Veikko Pietarinen, Minghui Ma
allikas
Logique et analyse
ajakirja aastakäik number kuu
vol. 245
ilmumisaasta
2019
leheküljed
p. 73-114
leitav
https://doi.org/10.2143/LEA.245.0.3285706
märksõna
loogika
graafid
tema kohta
Peirce, Charles Sanders, 1839-1914
ISSN
0024-5836
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Arts and humanities
Kunst ja humanitaarteadused
kategooria (alam)
Arts and humanities. Philosophy
Kunst ja humanitaarteadused. Filosoofia
kvartiil
Q3
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Teadus- ja tehnoloogia filosoofia