Switch to: References

Add citations

You must login to add citations.
  1. Minimal Complete Propositional Natural Deduction Systems.Amr Elnashar & Wafik Boulos Lotfallah - 2018 - Journal of Philosophical Logic 47 (5):803-815.
    For each truth-functionally complete set of connectives, we construct a sound and complete natural deduction system containing no axioms and the smallest possible number of inference rules, namely one.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark