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
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Arts and humanities
en
Kunst ja humanitaarteadused
et
kategooria (alam)
Arts and humanities. Philosophy
en
Kunst ja humanitaarteadused. Filosoofia
et
kvartiil
Q3
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Teadus- ja tehnoloogia filosoofia