Login / Signup

The basic constructive logic for a weak sense of consistency.

Gemma RoblesJosé M. Méndez
Published in: J. Log. Lang. Inf. (2008)
Keyphrases
  • automated reasoning
  • modal logic
  • classical logic
  • logic programming
  • asynchronous circuits
  • data sets
  • neural network
  • case study
  • database systems
  • predicate logic
  • deontic logic
  • sound and complete axiomatization