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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.R. Abrial. The B-Book:Assigning Programs to Meanings. Cambridge University Press (1996).
H. Barringer, J.H. Cheng, C.B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251–269 (1984).
P. Behm, L. Burdy, J.M. Meynadier. Well defined B. Second B International Conference. (Bert editor) LNCS 1393 Springer (1998).
L. Burdy Traitement des expressions dépourvues de sens de la théorie des ensembles. Thèse de Doctorat (2000).
J.H. Cheng, C.B. Jones On the Usability of Logics which Handle Partial Functions. Proceedings of Third Refinement Workshop. (1990).
D. Gries. Foundations for Calculational Logic in Mathematical Methods in Program Development (M. Broy and B. Schieder Editors). Springer (1996).
C.B. Jones Partial Functions and Logics: a warning. Information Processing Letter 54 (1995).
B. Stoddart, S. Dunne, A. Galloway. Undefined Expressions and Logic in Z and B. Formal Methods in System Design, 15 (1999).
P. Suppes. Introduction to Logic. Wadsworth International Group (1957).
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).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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