Login / Signup

Systematic Construction of Natural Deduction Systems for Many-Valued Logics.

Matthias BaazChristian G. FermüllerRichard Zach
Published in: ISMVL (1993)
Keyphrases
  • management system
  • computer systems
  • modal logic
  • inference rules
  • natural deduction
  • machine learning
  • intelligent systems
  • complex systems
  • default reasoning
  • truth values