Averaging the Truth Value of Formulas in Gödel Logic.
Stefano AguzzoliBrunella GerlaPublished in: FUZZ (2023)
Keyphrases
- truth values
- valued logic
- classical logic
- propositional logic
- multi valued
- linear time temporal logic
- fuzzy logic
- inference rules
- asynchronous circuits
- modal operators
- fuzzy sets
- logical formulas
- horn clauses
- logical framework
- modal logic
- logic programming
- predicate logic
- predicate calculus
- digital circuits
- data sets
- neural network