Hypersequent and labelled calculi for intermediate logics

Paolo Maffezioli, Agata Ciabattoni, L. Spendier

Onderzoeksoutput › Academic

15 Citaten (Scopus)

Originele taal-2	English
Titel	Automated reasoning with analytic tableaux and related methods
Redacteuren	D. Galmiche, D. Larchey-Wendling
Plaats van productie	Heidelberg
Uitgeverij	Springer
Pagina's	81-96
ISBN van geprinte versie	9783642221187
Status	Published - 2013

Naam	Lecture notes in computer science
Volume	8123
ISSN van geprinte versie	0302-9743

Handle.net

@inbook{b8a121130b7e4ed39acea54c5bf238d3,

title = "Hypersequent and labelled calculi for intermediate logics",

author = "Paolo Maffezioli and Agata Ciabattoni and L. Spendier",

year = "2013",

language = "English",

isbn = "9783642221187",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "81--96",

editor = "D. Galmiche and D. Larchey-Wendling",

booktitle = "Automated reasoning with analytic tableaux and related methods",

}

TY - CHAP

T1 - Hypersequent and labelled calculi for intermediate logics

AU - Maffezioli, Paolo

AU - Ciabattoni, Agata

AU - Spendier, L.

PY - 2013

Y1 - 2013

M3 - Chapter

SN - 9783642221187

T3 - Lecture notes in computer science

SP - 81

EP - 96

BT - Automated reasoning with analytic tableaux and related methods

A2 - Galmiche, D.

A2 - Larchey-Wendling, D.

PB - Springer

CY - Heidelberg

ER -