Hypersequent and labelled calculi for intermediate logics

Paolo Maffezioli, Agata Ciabattoni, L. Spendier

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

14 Citations (Scopus)
Original languageEnglish
Title of host publicationAutomated reasoning with analytic tableaux and related methods
EditorsD. Galmiche, D. Larchey-Wendling
Place of PublicationHeidelberg
PublisherSpringer
Pages81-96
ISBN (Print)9783642221187
Publication statusPublished - 2013

Publication series

NameLecture notes in computer science
Volume8123
ISSN (Print)0302-9743

Cite this