Beta assertive graphs : proofs of assertions with quantification
autor
Bellucci, Francesco
Chiffi, Daniele
Pietarinen, Ahti-Veikko
vastutusandmed
Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen
allikas
Journal of applied logics : IfCoLog journal of logics and their applications
kirjastus/väljaandja
College Publications
ajakirja aastakäik number kuu
vol. 8, 2
ilmumisaasta
2021
leheküljed
23 p. : ill
leitav
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
märksõna
graafiteooria
matemaatiline loogika
hulgasõnad
võtmesõna
assertions
existential/assertive graphs
intuitionistic logic
quantifiers
transformations
type vs. occurrence-referential notations
ISSN
2631-9810
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Mathematics
en
Matemaatika
et
kategooria (alam)
Mathematics. Logic
en
Matemaatika. Loogika
et
Mathematics. Applied mathematics
en
Matemaatika. Rakendusmatemaatika
et
kvartiil
Q2
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Teadus- ja tehnoloogia filosoofia