E3: A logic for reasoning equationally in the presence of partiality

Science of Computer Programming

Volumn 34, Issue 2, 1999, Pages 141-158

  Morris, Joseph M ^a   Bunkenburg, Alexander ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; LOGIC PROGRAMMING; MANY VALUED LOGICS; THEOREM PROVING;

HILBERT-STYLE AXIOMIZATION; THREE-VALUED LOGIC;

PROGRAMMING THEORY;

EID: 0033148347     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(98)00019-7     Document Type: Article

References (13)

1. A. Avron, Foundations and proof theory of 3-valued logics, LFCS Report Series ECS-LFCS-88-48, Laboratory for the Foundations of Computer Science, Edinburgh University, 1988.
2. A. Avron, Natural 3-valued logics - Characterisation and proof theory, J. Symbolic Logic 56 (1991) 276-294.
3. A. Blikle, Three-valued predicates for software specification and development, in: R. Bloomfield et al. (Eds.), VDM - The Way Ahead, Lecture Notes in Computer Science, Vol. 328, Springer, Berlin, 1988, pp. 243-266.
4. H. Barringer, J.H. Cheng, C.B. Jones, A logic covering undefinedness in program proofs, Acta Informatica 21 (1984) 251-269.
5. J.H. Cheng, A Logic of Partial Functions, Ph.D. Thesis, University of Manchester, Dept. of Computer Science Technical Report UMCS-86-7-1, 1986.
6. J.H. Cheng, C.B. Jones, On the usability of logics which handle partial functions, in: C. Morgan, J.C.P. Woodcock (Eds.), 3rd Refinement Workshop, Workshops in Computing, Springer, London, 1991, pp. 51-69.
7. E.W. Dijkstra, C.S. Scholten, Predicate Calculus and Program Semantics, Springer, New York, 1990.
8. D. Gries, F.B. Schneider, A Logical Approach to Discrete Math., Springer, New York, 1993.
9. A.G. Hamilton, Logic for Mathematicians, Cambridge University Press, Cambridge, 1988.
10. C.B. Jones, Systematic Software Development Using VDM, 2nd Ed., Prentice-Hall International, New York, 1990.
11. C.B. Jones, C.A. Middelburg, A typed logic of partial functions reconstructed classically, Acta Informatica 31 (1994) 399-430.
12. A. Monteiro, Construction des algèbres de lukasiewicz trivalentes dans les algèbres de boole monadiques I, Mathematica Japonica 12 (1967) 1-23.
13. L.A. Wallen, On form, formalism, and equivalence, in: W.H.J. Feijen et al. (Eds.), Beauty is our Business - A Birthday Salute to Edsger W. Dijkstra, Springer, New York, 1990.