Hypersequent and labelled calculi for intermediate logics

  1. Ciabattoni, A.
  2. Maffezioli, P.
  3. Spendier, L.
Büchersammlung:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642405365

Datum der Publikation: 2013

Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings

Ausgabe: 8123 LNAI

Seiten: 81-96

Art: Konferenz-Beitrag

DOI: 10.1007/978-3-642-40537-2_9 GOOGLE SCHOLAR
Datenquelle: Scopus