Free Quantification in Four-Valued and Fuzzy Bilattice-Valued Logics.

Libor Behounek Martina Danková Antonín Dvorák

Published in: IUKM (1) (2023)

Keyphrases

valued logic
truth values
inference rules
multi valued
fixpoint
fuzzy logic
fuzzy sets
classical logic
relational databases
logic programs
database
neural network
artificial intelligence
deductive databases
propositional logic