Skip to main content
SpringerLink
Log in

Fibred tableaux for multi-implication logics

  • Invited Lectures
  • Conference paper
  • First Online:
Book cover Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1071))

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.

This research was supported by EPSRC, grant GR-J14745 (“Labelled Tableaux for Algorithmic Deduction”). We wish to thank Krysia Broda for helpful discussions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. R. Anderson and N.D. Belnap Jr. Entailment: the Logic of Relevance and Necessity, volume 1. Princeton University Press, Princeton, 1975.

    Google Scholar 

  2. A. Avron. The semantics and proof theory of linear logic. Theoretical Computer Science, 57:161–184, 1988.

    Google Scholar 

  3. Marcello D'Agostino and Dov M. Gabbay. A generalization of analytic deduction via labelled deductive systems. part I: Basic substructural logics. Journal of Automated Reasoning, 13:243–281, 1994.

    Google Scholar 

  4. J. Dörre, D. M. Gabbay, and E. König. Fibred semantics for feature based grammar logics. Journal of Logic, Language and Information, 1996. To appear.

    Google Scholar 

  5. Marcello D'Agostino, Dov M. Gabbay, and Alessandra Russo. Grafting modalities onto substructural implication logics. Draft, Imperial College. FTP theory.doc.ic.ac.uk/papers/DAgostino/modalsub.dvi, February 1996.

    Google Scholar 

  6. Marcello D'Agostino and Marco Mondadori. The taming of the cut. Journal of Logic and Computation, 4:285,319, 1994.

    Google Scholar 

  7. M. Finger and D.M. Gabbay. Combining temporal logical systems. Notre Dame Journal of Formal Logic, 1996. To appear.

    Google Scholar 

  8. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983.

    Google Scholar 

  9. D.M. Gabbay. Labelled deductive systems, part I. Technical Report CIS-Bericht-90-22, CIS-Universität München, February 1991. Preliminary partial draft of a book intended for Oxford University Press.

    Google Scholar 

  10. Dov M. Gabbay. Fibred semantics and the weaving of logics. part 2: Nonmonotonic logics. In L. Czermak, D. M. Gabbay, and M. de Rijke, editors, Logic Colloquium 1992, pages 95–113. SILLI/CUP, 1995.

    Google Scholar 

  11. Dov M. Gabbay. Fibred semantics and the weaving of logics. part 3: How to make your logic fuzzy. Draft, Imperial College, 1995.

    Google Scholar 

  12. Dov M. Gabbay. Fibred semantics and the weaving of logics. part 4: Selffibring of classical logic. Draft, Imperial College, 1995.

    Google Scholar 

  13. Dov M. Gabbay. An overview of fibred semantics and the combination of logics. Draft, Imperial College, December 1995.

    Google Scholar 

  14. Dov Gabbay. Fibred semantics and the weaving of logics, I. To appear in The Journal of Symbolic Logic, 1996.

    Google Scholar 

  15. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.

    Google Scholar 

  16. Alasdair Urquhart. Semantics for relevant logic. The Journal of Symbolic Logic, 37:159–170, 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, 180 Queen's Gate, SW7 2BZ, London, UK

    Marcello D'Agostino & Dov M. Gabbay

Authors
  1. Marcello D'Agostino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Miglioli U. Moscato D. Mundici M. Ornaghi

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

D'Agostino, M., Gabbay, D.M. (1996). Fibred tableaux for multi-implication logics. In: Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M. (eds) Theorem Proving with Analytic Tableaux and Related Methods. TABLEAUX 1996. Lecture Notes in Computer Science, vol 1071. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61208-4_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-61208-4_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61208-7

  • Online ISBN: 978-3-540-68368-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation