prindi

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. 62, 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
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Pietarinen, A.-V., Ma, M. A graphical deep inference system for intuitionistic logic // Logique et analyse (2019) vol. 62, 245, p. 73-114. https://doi.org/10.2143/LEA.245.0.3285706