Login / Signup
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
Carlos Caleiro
João Marcos
Marco Volpe
Published in:
CoRR (2014)
Keyphrases
</>
valued logic
classical logic
propositional logic
automated reasoning
fuzzy logic
modal logic
fuzzy sets
first order logic
logic programs
truth values
decision procedures
multi valued
logic programming
neural network
datalog programs
real time
databases
fuzzy set theory
temporal logic
integrity constraints
database