McCarthy algebras: A model of McCarthy's logical calculus

Fundamenta Informaticae

Volumn 26, Issue 2, 1996, Pages 167-203

  Konikowska, Beata ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SOFTWARE ENGINEERING;

MCCARTHY ALGEBRAS; THREE VALUED LOGICAL CALCULUS;

BOOLEAN ALGEBRA;

EID: 0030141459     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1996-26205     Document Type: Article

References (10)

1. Blikle A., Meta Soft Primer: Towards a Metalanguage for Applied Denotational Semantics, LNCS 288, Springer-Verlag, 1985.
2. Blikle A., Three-valued predicates for software specification and validation; In R. Bloomfield, R. Jones and L. Marshall, editors, VDM'88, VDM: The Way Ahead, Proc. 2nd VDM-Europe Symposium, Dublin, September 1988, LNCS 328, Springer-Verlag, 1988, pp. 243-266.
3. Blikle A., Three-valued predicates for software specification and validation, Fundamenta Informaticae, Vol. 14(4), 1991, pp. 387-410.
4. Kleene S.C., Introduction to Metamathematics, North Holland 1952.
5. Konikowska B., Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus; In A. Tarlecki, editor, Mathematical Foundations of Computer Science, Proceedings 16th International Symposium MFCS'91, Kazimierz Dolny, September 1991, LNCS 520, Springer-Verlag 1991, pp. 277-286.
6. Konikowska B., Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus, Journal for Applied Non-Classical Logic, Vol.3(1), 1993, pp. 39-71.
7. Konikowska B., Tarlecki A., Blikle A., A three-valued logic for software specification and validation; In R. Bloomfield, R. Jones and L. Marshall, editors, VDM'88, VDM: The Way Ahead, Proc. 2nd VDM-Europe Symposium, Dublin, September 1988, LNCS 328, Springer-Verlag, 1988, pp. 218-242.
8. Konikowska B., Tarlecki A., Blikle A., A three-valued logic for software specification and validation, Fundamenta Informaticae, Vol. 14(4), 1991, pp. 411-453.
9. McCarthy J., A basis for a mathematical theory of computation, Western Joint Conference 1961, later published in Computer Programming and Formal Systems, North Holland, 1967, pp. 37-70.
10. Sikorski K., Boolean Algebras, Springer-Verlag, Berlin 1964.