Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: TRUE and FALSE values in the relational lattice

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@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 - 05:33:36 CDT












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US