Login / Signup
A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic".
Hitoshi Omori
Published in:
Reports Math. Log. (2016)
Keyphrases
</>
modal logic
multi valued
logic programming
natural language
classical logic
predicate logic
database
databases
constraint satisfaction problems
defeasible logic