Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions.

Anna V. Mikhailovich

Published in: CoRR (2016)

Keyphrases

nonmonotonic logics
multi valued
modal logic
logic programming
automated reasoning
predicate logic
epistemic logic
databases
query language
automatically generated
classical logic
computational properties