Algebraic Semantics for One-Variable Lattice-Valued Logics.
George MetcalfeNaomi TokudaPetr CintulaPublished in: AiML (2022)
Keyphrases
- valued logic
- propositional logic
- classical logic
- fuzzy logic
- fuzzy sets
- algebraic structure
- first order logic
- multi valued
- logic programs
- automated reasoning
- truth values
- datalog programs
- stable models
- belief revision
- pattern recognition
- artificial neural networks
- fuzzy set theory
- neural network
- normal form
- database design