×

Partial logics reconsidered: A conservative approach. (English) Zbl 0785.03013


MSC:

03B60 Other nonclassical logic
03B50 Many-valued logic
03B70 Logic in computer science
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Barringer, H., Cheng, J.H. and Jones, C.B.: ?A Logic Covering Undefinedness in Program Proofs.?Acta Informatica,21, 251-269, (1984). · Zbl 0534.68024
[2] Blamey, S.: ?Partial Logic.? InHandbook of Philosophical Logic, Volume III, D. Gabbay and F. Guenthner (eds.), D. Reidel Publishing Company, 1986. · Zbl 0875.03023
[3] Blikle, A.: ?Three-Valued Predicates for Software Specification and Validation.? InVDM ? The Way Ahead, Lecture Notes in Computer Science 328, Springer Verlag, 1988.
[4] Cheng, J.H.: ?A Logic for Partial Functions.? Ph.D. Thesis, Report UJMCS-86-7-1, Dept. of CS, University of Manchester, 1986.
[5] Cheng, J.H. and Jones, C.B.: ?On the Usability of Logics which Handle Partial Functions.? InProceedings of the Third Refinement Workshop, C. Morgan and J. Woodcock (eds.), Springer Verlag, 1990.
[6] Dahl, O.-J., Langmyhr, D.F. and Owe, O.: ?Preliminary Report on the Specification and Programming Language ABEL.? Research Report 106, Dept. of Informatics, University of Oslo, Norway, 1986.
[7] Dahl, O.-J.:Verifiable Programming. The Hoare Series, Prentice Hall, 1992.
[8] Elvang-Gøransson, M.: ?Some properties of WSL.? Preprint, Dept. of Informatics, University of Oslo, 1991.
[9] Gallier, J.H.:Logic for Computer Science. Harper & Row, 1986. · Zbl 0605.03004
[10] Gavilanes-Franco, A.G. and Lucio-Carrasco, F.: ?A First Order Logic for Partial Functions.? Report DIA/89/1, Dept. of Informatics, Universidad Complutense, Madrid, Spain, 1989. · Zbl 0707.03021
[11] Goguen, J.A.: ?Abstract Errors for Abstract Data Types.? InFormal Description of Programming Concepts, North Holland, 1978. · Zbl 0373.68024
[12] Holden, M.: ?Weak Logic Theory.?Theoretical Computer Science,79, 295-321, (1991). · Zbl 0724.03020
[13] Hoogewijs, A.: ?A Calculus of Partially Defined Predicates.? Technical Report, Rijksuniversiteit, Gent, 1977.
[14] Hoogewijs, A.: ?Partial Predicate Logic in Computer Science.?Acta Informatica,24, 381-393, (1987). · Zbl 0598.03018
[15] Kleene, S.C.:Introduction to Metamathematics. North Holland, 1952. · Zbl 0047.00703
[16] Konikowska, B., Tarlecki, A. and Blikle, A.: ?A Three-Valued Logic for Software Specification and Validation.? InVDM ? The Way Ahead, Lecture Notes in Computer Science 328, Springer Verlag, 1988. · Zbl 0771.68087
[17] Manna, Z.:Mathematical Theory of Computation. McGraw-Hill, 1974. · Zbl 0353.68066
[18] Owe, O.: ?An Approach to Program Reasoning Based on a First Order Logic for Partial Functions.? Report CS-081, Dept. of EECS, UCSD, USA, 1984.
[19] Prawitz, D.:Natural Deduction. Almquist & Wiksell, Stockholm, 1965. · Zbl 0173.00205
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.