Algebraic semantics for one-variable lattice-valued logics.

Petr Cintula George Metcalfe Naomi Tokuda

Published 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