A graphical deep inference system for intuitionistic logic
statement of authorship
Ahti-Veikko Pietarinen, Minghui Ma
source
journal volume number month
vol. 245
year of publication
pages
p. 73-114
name of the person
ISSN
0024-5836
notes
Bibliogr.: 51 ref
scientific publication
teaduspublikatsioon
language
inglise
classifier
kvartiil
category (general)
category (sub)
Reserch Group
Pietarinen, A.-V., Ma, M. A graphical deep inference system for intuitionistic logic // Logique et analyse (2019) vol. 245, p. 73-114.