Fibred tableaux for multi-implication logics

Marcello D’Agostino; Dov M. Gabbay

doi:10.1007/3-540-61208-4_2

Fibred tableaux for multi-implication logics

Marcello D’Agostino, Dov M. Gabbay

Imperial College London

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method.

Original language	English
Title of host publication	Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings
Editors	Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Publisher	Springer Verlag
Pages	16-35
Number of pages	20
ISBN (Print)	3540612084, 9783540612087
DOIs	https://doi.org/10.1007/3-540-61208-4_2
State	Published - 1996
Externally published	Yes
Event	5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1996 - Terrasini, Palermo, Italy Duration: 15 May 1996 → 17 May 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1071
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1996
Country/Territory	Italy
City	Terrasini, Palermo
Period	15/05/96 → 17/05/96

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.

Access to Document

10.1007/3-540-61208-4_2

Cite this

D’Agostino, M., & Gabbay, D. M. (1996). Fibred tableaux for multi-implication logics. In P. Miglioli, U. Moscato, D. Mundici, & M. Ornaghi (Eds.), Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings (pp. 16-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1071). Springer Verlag. https://doi.org/10.1007/3-540-61208-4_2

D’Agostino, Marcello ; Gabbay, Dov M. / Fibred tableaux for multi-implication logics. Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings. editor / Pierangelo Miglioli ; Ugo Moscato ; Daniele Mundici ; Mario Ornaghi. Springer Verlag, 1996. pp. 16-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1da4fd56944841a196d6f1d6024a548b,

title = "Fibred tableaux for multi-implication logics",

abstract = "We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method.",

author = "Marcello D{\textquoteright}Agostino and Gabbay, {Dov M.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1996 ; Conference date: 15-05-1996 Through 17-05-1996",

year = "1996",

doi = "10.1007/3-540-61208-4_2",

language = "אנגלית",

isbn = "3540612084",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "16--35",

editor = "Pierangelo Miglioli and Ugo Moscato and Daniele Mundici and Mario Ornaghi",

booktitle = "Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings",

address = "גרמניה",

}

D’Agostino, M & Gabbay, DM 1996, Fibred tableaux for multi-implication logics. in P Miglioli, U Moscato, D Mundici & M Ornaghi (eds), Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1071, Springer Verlag, pp. 16-35, 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1996, Terrasini, Palermo, Italy, 15/05/96. https://doi.org/10.1007/3-540-61208-4_2

Fibred tableaux for multi-implication logics. / D’Agostino, Marcello; Gabbay, Dov M.
Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings. ed. / Pierangelo Miglioli; Ugo Moscato; Daniele Mundici; Mario Ornaghi. Springer Verlag, 1996. p. 16-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1071).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Fibred tableaux for multi-implication logics

AU - D’Agostino, Marcello

AU - Gabbay, Dov M.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996

Y1 - 1996

N2 - We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method.

AB - We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method.

UR - http://www.scopus.com/inward/record.url?scp=41249096521&partnerID=8YFLogxK

U2 - 10.1007/3-540-61208-4_2

DO - 10.1007/3-540-61208-4_2

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:41249096521

SN - 3540612084

SN - 9783540612087

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 16

EP - 35

BT - Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings

A2 - Miglioli, Pierangelo

A2 - Moscato, Ugo

A2 - Mundici, Daniele

A2 - Ornaghi, Mario

PB - Springer Verlag

T2 - 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1996

Y2 - 15 May 1996 through 17 May 1996

ER -

D’Agostino M, Gabbay DM. Fibred tableaux for multi-implication logics. In Miglioli P, Moscato U, Mundici D, Ornaghi M, editors, Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX 1996, Proceedings. Springer Verlag. 1996. p. 16-35. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61208-4_2

Fibred tableaux for multi-implication logics

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this