Login / Signup

Minimal Complete Propositional Natural Deduction Systems.

Amr ElnasharWafik Boulos Lotfallah
Published in: J. Philos. Log. (2018)
Keyphrases
  • natural deduction
  • expert systems
  • management system
  • computer systems
  • knowledge representation
  • distributed systems
  • complex systems
  • database design
  • first order logic
  • inference rules