Login / Signup
On Strong Maximality of Paraconsistent Finite-Valued Logics.
Arnon Avron
Ofer Arieli
Anna Zamansky
Published in:
LICS (2010)
Keyphrases
</>
valued logic
propositional logic
classical logic
fuzzy logic
fuzzy sets
truth values
logic programs
first order logic
multi valued
datalog programs
automated reasoning
neural network
database