Skip to main content
Article thumbnail
Location of Repository

Fibred Tableaux for multi-implication logics

By D'AGOSTINO M. and GABBAY D.M.

Abstract

---

Publisher: Springer
Year: 1996
OAI identifier: oai:iris.unife.it:11392/1193333
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/11392/11... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.