Authors:
In this paper I present the logical calculus for the specification language SPECTRUM. It is a three-valued variant of the calculus for the logic LCF. Familiarity with the technical report in which the semantics of SPECTRUM is defined is assumed.
Calculus, axiomatic specification language, logical calculus, three valued logic
@techreport{Reg94a,
author = {Regensburger, Franz},
institution = {Institut f{\"u}r Informatik, Technische-Universit{\"a}t M{\"u}nchen},
number = {TUM-I9424},
title = {The calculus of {{\sc Spectrum}}},
year = {1994},
uri = {"http://www4.informatik.tu-muenchen.de/proj/korso/papers/calc.html"}
}