Hypersequent and labelled calculi for intermediate logics

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

ISSN: 0302-9743,  1611-3349

ISBN: 9783642405365

Année de publication: 2013

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

Volumen: 8123 LNAI

Pages: 81-96

Type: Communication dans un congrès

DOI: 10.1007/978-3-642-40537-2_9 GOOGLE SCHOLAR
La source de données: Scopus