Login / Signup

The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic.

José M. MéndezGemma Robles
Published in: J. Appl. Non Class. Logics (2016)
Keyphrases
  • logic programming
  • probabilistic logic
  • modal logic
  • predicate logic
  • classical logic
  • automated reasoning
  • multi valued
  • proof theory
  • sound and complete axiomatization
  • information retrieval
  • np complete
  • maximum entropy