🚀 go-pugleaf

In article <1990Jun29.123957.16727@eua.ericsson.se>, euakan@eua.ericsson.se (Theo.Kanter) writes:
> THEORY?
> Ulrich N. (below) reminded me of one aspect of the OO paradigm. 
> Namely, that objects have states. Now, neither mathematical logic or 
> lambda calculus on which we try to base pure logical and functional languages
>  provide for something called states. It seems to me that something is 
> missing here, and that concurrency as in GHC and the like has little to do 
> with it. 

It depends on what you mean by "mathematical logic".
There are quite a few temporal logics, and dynamic logic is as mathematical
as you please.

Two books which I bought a couple of months ago finally arrived.

	From Standard Logic to Logic Programming,
	Introducing a Logic Based Approach to Artificial Intelligence
	ed. A. Thayse
	Wiley, Chichester, 1988

	From Modal Logic to Deductive Databases,
	Introducing a Logic Based Approach to Artificial Intelligence
	ed. A. Thayse
	Wiley, Chichester, 1989.

I haven't had a chance to get very far through them yet, but I can tell
you right now that the review I'm going to post to this newsgroup when
I get back from my vacation is going to be _very_ positive.  If you
don't already know about dynamic logic (the basis of the Manchandra &
Warren approach to "logical updates") this is a painless place to find out.
-- 
"private morality" is an oxymoron, like "peaceful war".