On Axiomatizing Shramko-Wansing's Logic.

Sergei P. Odintsov

Published in: Stud Logica (2009)

Keyphrases

automated reasoning
logic programming
modal logic
website
multi valued
logical framework
classical logic
formal language
predicate logic
artificial intelligence
information systems
knowledge base
asynchronous circuits
dynamic logic