Beta assertive graphs : proofs of assertions with quantification
author
Bellucci, Francesco
Chiffi, Daniele
Pietarinen, Ahti-Veikko
statement of authorship
Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen
source
Journal of applied logics : IfCoLog journal of logics and their applications
publisher
College Publications
journal volume number month
vol. 8, 2
year of publication
2021
pages
23 p. : ill
url
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
subject term
graafiteooria
matemaatiline loogika
hulgasõnad
keyword
assertions
existential/assertive graphs
intuitionistic logic
quantifiers
transformations
type vs. occurrence-referential notations
ISSN
2631-9810
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Mathematics
en
Matemaatika
et
category (sub)
Mathematics. Logic
en
Matemaatika. Loogika
et
Mathematics. Applied mathematics
en
Matemaatika. Rakendusmatemaatika
et
kvartiil
Q2
TTÜ department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise
Uurimisrühm
Philosophy of science and technology