Complete and atomic algebras of the infinite valued Łukasiewicz logic.

Roberto Cignoli

Published in: Stud Logica (1991)

Keyphrases

multi valued
neural network
logic programming
automated reasoning
databases
machine learning
logical framework
formal theory
epistemic logic
linear logic
micron cmos