Login / Signup

Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation.

José Luis CastiglioniRodolfo Cristian Ertola Biraben
Published in: Log. J. IGPL (2014)
Keyphrases
  • intuitionistic logic
  • classical logic
  • truth values
  • logic programming
  • linear logic
  • logic programs
  • natural deduction
  • artificial intelligence
  • database
  • expert systems
  • database applications
  • answer set programming