Login / Signup
Systematic Construction of Natural Deduction Systems for Many-Valued Logics.
Matthias Baaz
Christian G. Fermüller
Richard 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