Skip to main content
SpringerLink
Log in

On Using Conditional Definitions in Formal Theories

  • Conference paper
  • First Online:
ZB 2002:Formal Specification and Development in Z and B (ZB 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2272))

Included in the following conference series:

Abstract

In this paper, our intention is to explore the notion of definition in formal theories and, in particular, that of conditional definitions. We are also interested in analyzingthe consequences of the latter on the structure of corresponding proof systems. Finally, we shall investigate the various ways such proof systems can be simplified.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.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. J.R. Abrial. The B-Book:Assigning Programs to Meanings. Cambridge University Press (1996).

    Google Scholar 

  2. H. Barringer, J.H. Cheng, C.B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251–269 (1984).

    Article  MATH  MathSciNet  Google Scholar 

  3. P. Behm, L. Burdy, J.M. Meynadier. Well defined B. Second B International Conference. (Bert editor) LNCS 1393 Springer (1998).

    Google Scholar 

  4. L. Burdy Traitement des expressions dépourvues de sens de la théorie des ensembles. Thèse de Doctorat (2000).

    Google Scholar 

  5. J.H. Cheng, C.B. Jones On the Usability of Logics which Handle Partial Functions. Proceedings of Third Refinement Workshop. (1990).

    Google Scholar 

  6. D. Gries. Foundations for Calculational Logic in Mathematical Methods in Program Development (M. Broy and B. Schieder Editors). Springer (1996).

    Google Scholar 

  7. C.B. Jones Partial Functions and Logics: a warning. Information Processing Letter 54 (1995).

    Google Scholar 

  8. B. Stoddart, S. Dunne, A. Galloway. Undefined Expressions and Logic in Z and B. Formal Methods in System Design, 15 (1999).

    Google Scholar 

  9. P. Suppes. Introduction to Logic. Wadsworth International Group (1957).

    Google Scholar 

  10. W.M. Farmer and J.D. Guttman. A Set Theory with Support for Partial Functions in Partiality and Modality. (E. Thijsse, F. Lepage, and H. Wansing Editors). Special issue of Logica Studia (2000).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Consultant, Marseille, France

    Jean-Raymond Abrial

  2. DCSSI, Paris, France

    Louis Mussat

Authors
  1. Jean-Raymond Abrial
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Louis Mussat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire LSR, IMAG, CNRS, 681,rue de la Passerelle, 38402, Saint Martin d’Hères Cedex, France

    Didier Bert

  2. SCISM, Centre for Applied Fromal Methods, SouthBank University, Borough Road, SE1 0AA, London, UK

    Jonathan P. Bowen

  3. Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, UK

    Martin C. Henson

  4. CAESER, The School of Computer Science and Engineering, The University of New South Wales, UNSW, 2052, Sydney, NSW, Australia

    Ken Robinson

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abrial, JR., Mussat, L. (2002). On Using Conditional Definitions in Formal Theories. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds) ZB 2002:Formal Specification and Development in Z and B. ZB 2002. Lecture Notes in Computer Science, vol 2272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45648-1_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-45648-1_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43166-4

  • Online ISBN: 978-3-540-45648-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation