Valuations in Gödel Logic, and the Euler Characteristic.

Pietro Codara Ottavio M. D'Antona Vincenzo Marra

Published in: J. Multiple Valued Log. Soft Comput. (2012)

Keyphrases

multi valued
logic programming
digital circuits
social bookmarking
classical logic
valued logic
epistemic logic
differential equations
computational properties
logical framework
asynchronous circuits
modal logic
neural network
automated reasoning
predicate logic
temporal logic
multi agent