Diagrammatic algebra of first order logic : [preprint]
author
Bonchi, Filippo
Di Giorgio, Alessandro
Haydon, Nathan Joseph
Sobocinski, Pawel Maria
statement of authorship
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
source
arXiv.org
publisher
Cornell University
year of publication
2024
pages
34 p. : ill
url
https://doi.org/10.48550/arXiv.2401.07055
subject term
loogika
diagrammid
graafiteooria
subject of form
preprindid
keyword
calculus of relations
string diagrams
deep inference
scientific publication
teaduspublikatsioon
classifier
6.7
TalTech department
tarkvarateaduse instituut
language
inglise