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
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
category (general)
Mathematics
Matemaatika
category (sub)
Mathematics. Logic
Matemaatika. Loogika
Mathematics. Applied mathematics
Matemaatika. Rakendusmatemaatika
quartile
Q2
TalTech department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise
Reserch Group
Philosophy of science and technology