From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.

Marcelo E. Coniglio Abilio Rodrigues

Published in: Stud Logica (2024)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
first order logic
truth values
fuzzy sets
logic programs
multi valued
datalog programs
logic programming
automated reasoning
belief revision
stable models
neural network
high level
decision making
artificial intelligence