A Remark on the Maximal Extensions of the Relevant Logic R.

Kazimierz Swirydowicz

Published in: Reports Math. Log. (1995)

Keyphrases

modal logic
closely related
knowledge representation formalisms
database systems
logic programming
multi valued
databases
artificial intelligence
logical framework
classical logic
digital circuits
predicate logic