Hypersequent and labelled calculi for intermediate logics
- Ciabattoni, A.
- Maffezioli, P.
- Spendier, L.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642405365
Ano de publicación: 2013
Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings
Volume: 8123 LNAI
Páxinas: 81-96
Tipo: Achega congreso