Pecularities of Some Three- and Four-Valued Second Order Logics.

Allen P. Hazen Francis Jeffry Pelletier

Published in: Logica Universalis (2018)

Keyphrases

valued logic
valued semantics
modal logic
higher order
expressive power
classical logic
consistent query answering
hessian matrix
propositional logic
truth values
fuzzy sets
inference rules
high order
nonmonotonic logics
epistemic logic
default logic
directional derivatives
first order logic
propositional calculus