Quantales, Observational Logic and Process Semantics.

Samson Abramsky Steven Vickers

Published in: Math. Struct. Comput. Sci. (1993)

Keyphrases

neural network
proof theory
logic programming
conceptual model
nonmonotonic logics
software engineering
formal semantics
logical framework