Algebraic semantics for one-variable lattice-valued logics.
Petr CintulaGeorge MetcalfeNaomi TokudaPublished in: CoRR (2022)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy logic
- algebraic structure
- fuzzy sets
- first order logic
- logic programs
- multi valued
- truth values
- automated reasoning
- stable models
- datalog programs
- logic programming
- belief revision
- real time
- computational intelligence
- image sequences
- genetic algorithm
- neural network