Beta assertive graphs : proofs of assertions with quantification

statement of authorship
Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen
journal volume number month
vol. 8, 2
year of publication
pages
23 p. : ill
keyword
transformations
type vs. occurrence-referential notations
ISSN
2631-9810
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q2
language
inglise
Bellucci, F., Chiffi, D., Pietarinen, A.-V. Beta assertive graphs : proofs of assertions with quantification // Journal of applied logics : IfCoLog journal of logics and their applications (2021) vol. 8, 2, 23 p. : ill. https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf