IUBio Biosequences .. Software .. Molbio soft .. Network News .. FTP

Reasoning v. other AI stuff

Stephan Lehmke Stephan.Lehmke at cs.uni-dortmund.de
Mon May 12 07:56:23 EST 2003

In <fa69ae35.0305010825.5db91935 at posting.google.com>, Eray Ozkural  exa writes:
> Note that multi-valued logic is equivalent in power to classical
> logic. 

What exactly do you mean by that?

How could Lukasiewicz's FO logic be non-axiomatiseable then?

> That _naturally_ includes fuzzy logic. 

Assuming you have a precise definition for fuzzy logic.


f'up2 set to sci.logic

More information about the Neur-sci mailing list

Send comments to us at biosci-help [At] net.bio.net