A 4-Valued Logic that Extends the Paraconsistent Logic G'3.

Mauricio Osorio José Luis Carballido

Published in: Computación y Sistemas (CyS) (2023)

Keyphrases

valued logic
propositional logic
classical logic
fuzzy logic
fuzzy sets
logic programs
first order logic
truth values
datalog programs
multi valued
real time
neural network
automated reasoning
genetic algorithm
logic programming
general purpose
knowledge representation