Finiteness in Infinite-Valued Lukasiewicz Logic.

Stefano Aguzzoli Agata Ciabattoni

Published in: J. Log. Lang. Inf. (2000)

Keyphrases

modal logic
truth values
multi valued
classical logic
valued logic
logic programming
valued semantics
automated reasoning
temporal logic
epistemic logic
database
multi agent
nonmonotonic logics
image sequences
natural deduction
neural network
logic synthesis