Hypersequent and labelled calculi for intermediate logics

Paolo Maffezioli, Agata Ciabattoni, L. Spendier

OnderzoeksoutputAcademic

15 Citaten (Scopus)
Originele taal-2English
TitelAutomated reasoning with analytic tableaux and related methods
RedacteurenD. Galmiche, D. Larchey-Wendling
Plaats van productieHeidelberg
UitgeverijSpringer
Pagina's81-96
ISBN van geprinte versie9783642221187
StatusPublished - 2013

Publicatie series

NaamLecture notes in computer science
Volume8123
ISSN van geprinte versie0302-9743

Citeer dit