Skip to main content
SpringerLink
Log in

Transformation Methods in LDS

  • Chapter
Logic, Language and Reasoning

Part of the book series: Trends in Logic ((TREN,volume 5))

  • 414 Accesses

Abstract

The methodology of Labelled Deductive Systems — or simply LDS1 — is a unifying framework for the study of logics and their interactions. It was proposed by Dov Gabbay a few years ago in response to conceptual pressure arising from application areas, and has now become a large and influential research programme providing logicians, both pure and applied, with a common language and a common set of basic principles in which to express and to solve their problems.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Michele Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear propositional logic. Journal of Symbolic Logic 56: 1403–1451, 1991.

    Article  Google Scholar 

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

    Article  Google Scholar 

  3. Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan and Steve Vickers Reasoned Programming. Prentice Hall, 1994.

    Google Scholar 

  4. Krysia Broda, Marcelo Finger and Alessandra Russo. LDS-natural deduction for substructural logics. Journal of the IGPL 4:3:486–489, 1996. Extended Abstract. Full version in [6].

    Google Scholar 

  5. Krysia Broda, Marcello D’Agostino and Marco Mondadori A solution to a problem of Popper. To appear in The Epistemology of Karl Popper, Kluwer Academic Publishers, 1997.

    Google Scholar 

  6. Krysia Broda, Marcelo Finger and Alessandra Russo. LDS-natural deduction for substructural logics. Journal of the IGPL. Submitted, 1997.

    Google Scholar 

  7. 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.

    Article  Google Scholar 

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

    Article  Google Scholar 

  9. Marcello D’Agostino. Are tableaux an improvement on truth-tables? Journal of Logic, Language and Information 1: 235–252, 1992.

    Article  Google Scholar 

  10. Kosta Dŏsen. Sequent systems and groupoid models I. Studia Logica 47: 353–385, 1988.

    Article  Google Scholar 

  11. Kosta Dŏsen. Sequent systems and groupoid models II. Studia Logica 48: 41–65, 1989.

    Article  Google Scholar 

  12. Kosta Dŏsen. A historical introduction to substructural logics. In Schroeder-Heister, Peter and Dŏsen, Kosta, editors, Substructural Logics. Oxford University Press. 1–31, 1993.

    Google Scholar 

  13. Michael J. Dunn. Relevance logic and entailment. In Gabbay, Dov M. and Guenthner, Franz, editors, Handbook of Philosophical Logic, volume III. Kluwer Academic Publishers. chapter 3, 117–224, 1986.

    Google Scholar 

  14. Dov M. Gabbay and Hans Jürgen Ohlbach. An algebraic fine structure for logical systems. Technical report, Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen’s Gate, London, 1993.

    Google Scholar 

  15. Dov M. Gabbay and Hans Jürgen Ohlbach. From a Hilbert calclus to possible-world semantics. In Broda, Krysia, editor, Proceedings of ALPUK Logic Programming Conference 1992. Springer. Lecture Notes in Computer Science, 218–252, 1993.

    Google Scholar 

  16. Dov M. Gabbay. How to construct a logic for your application. In H. J. Ohlbach editor, GWAI-92: Advances in Artificial Intelligence (LNAI 671). Springer. 1–30, 1992.

    Google Scholar 

  17. Dov M. Gabbay. General theory of structured consequence relations. In Schroeder-Heister, Peter and Dŏsen, Kosta, editors, Substructural Logics. Oxford University Press. 109–151, 1993.

    Google Scholar 

  18. Dov M. Gabbay. Classical versus non-classical logics. In Gabbay, Dov; Hogger, Chris; and Robinson, J. A., editors, Handbook of Logic in AI and Logic Programming, Volume 2. Oxford University Press, 1994.

    Google Scholar 

  19. Dov M. Gabbay. Labelled Deductive Systems, Volume 1. Oxford University Press, 1996.

    Google Scholar 

  20. Dov M. Gabbay. Fibred semantics and the weaving of logics, I. To appear in Journal of Symbolic Logic, 1997.

    Google Scholar 

  21. Gerhard Gentzen. Unstersuchungen über das logische Schliessen. Math. Zeitschrift 39:176–210. English translation in [30], 1935.

    Article  Google Scholar 

  22. Jean-Yves Girard. Linear logic. Theoretical Computer Science 50: 1–102, 1987.

    Article  Google Scholar 

  23. William A. Howard. The formulae-as-types notion of construction. In Seidin, J.P. and Hindley, J.R., editors, To H.B. Curry: Essays on Combinatory Logics, Lambda Calculus and Formalism. Academic Press, London, 1980.

    Google Scholar 

  24. Stanislaw Jaskowski. On the Rules of Suppositions in Formal Logics. Studia Logica 1, 1934.

    Google Scholar 

  25. Joachim Lambek. The mathematics of sentence structure. Amer. Math. Monthly 65: 154–169, 1958.

    Article  Google Scholar 

  26. Hiroakira Ono. Semantics for substructural logics. In Schroeder-Heister, Peter, editor, Substructural Logics. Oxford University Press. 259–291, 1993.

    Google Scholar 

  27. Dag Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist & Wilksell, Uppsala, 1965.

    Google Scholar 

  28. Alessandra Russo. Generalising propositional modal logic using labelled deductive systems. In Applied Logic Series (APLS), ‘Frontiers of Combining Systems, First International Workshop’, volume 3. 57–73, 1996.

    Google Scholar 

  29. Giovanni Sambin. The semantics of pretopologies. In Schroeder-Heister, Peter, editor, Substructural Logics. Oxford University Press. 293–307, 1993.

    Google Scholar 

  30. Manfred Egon Szabo, editor. The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam, 1969.

    Google Scholar 

  31. Alfred Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, I. Monatshefte für Mathematik und Physik 37: 361–404, 1930.

    Article  Google Scholar 

  32. Alfred, Tarski. Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie 23: 22–29, 1930.

    Google Scholar 

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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College, London, UK

    Krysia Broda & Marcello D’Agostino

  2. Università di Ferrara, Italy

    Alessandra Russo

Authors
  1. Krysia Broda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcello D’Agostino
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alessandra Russo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’s College, London, UK

    Hans Jürgen Ohlbach

  2. University of Stuttgart, Stuttgart, Germany

    Uwe Reyle

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Broda, K., D’Agostino, M., Russo, A. (1999). Transformation Methods in LDS. In: Ohlbach, H.J., Reyle, U. (eds) Logic, Language and Reasoning. Trends in Logic, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4574-9_14

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-4574-9_14

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-5936-7

  • Online ISBN: 978-94-011-4574-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation