Re: TRUE and FALSE values in the relational lattice
From: Joe Thurbon <usenet_at_thurbon.com>
Date: Fri, 22 Jun 2007 10:33:36 GMT
Message-ID: <4ANei.17239$wH4.16567_at_news-server.bigpond.net.au>
Date: Fri, 22 Jun 2007 10:33:36 GMT
Message-ID: <4ANei.17239$wH4.16567_at_news-server.bigpond.net.au>
Jan Hidders wrote:
[...]
>
> Me too. :-) Finding a simple finite algebraic complete axiomatization
> for FOL is an open problem.
>
PMFJI, but would a Lindenbaum algebra be the thing you're looking for? It's been a while (almost 10 years) since I've done any serious logic, and I never used them then anyway, but from memory they are only non-finite when the logic in question has a non-finite number of atoms.
Or am I misunderstanding you completely?
Cheers,
Joe
Received on Fri Jun 22 2007 - 12:33:36 CEST