Reasoning v. other AI stuff
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
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