A graphical deep inference system for intuitionistic logic

vastutusandmed
Ahti-Veikko Pietarinen, Minghui Ma
ajakirja aastakäik number kuu
vol. 245
ilmumisaasta
leheküljed
p. 73-114
märksõna
ISSN
0024-5836
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q3
keel
inglise
Pietarinen, A.-V., Ma, M. A graphical deep inference system for intuitionistic logic // Logique et analyse (2019) vol. 245, p. 73-114. https://doi.org/10.2143/LEA.245.0.3285706