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
https://www.scopus.com/sourceid/21100925611
https://www.scopus.com/record/display.uri?eid=2-s2.0-85111108312&origin=inward&txGid=e5644a19e1f9f32aece89ccb2dec99b9
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOG-IFCOLOG&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000620168700003
kategooria (üld)
Mathematics
Matemaatika
kategooria (alam)
Mathematics. Logic
Matemaatika. Loogika
Mathematics. Applied mathematics
Matemaatika. Rakendusmatemaatika
kvartiil
Q2
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Teadus- ja tehnoloogia filosoofia