2 search results for "tag:"keyword: natural deduction""

Showing 1 - 2
  1. coq-prfx

    No documentation

    Proof Reflection in Coq
    keyword: first-order logic keyword: natural deduction keyword: reflection keyword: proof terms keyword: de Bruijn indices keyword: permutative conversions category: Mathematics/Logic/Foundations date: 15 April 2005
    Dimitri Hendriks <hendriks@cs.ru.nl> [http://www.cs.ru.nl/~hendriks/]
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-propcalc

    No documentation

    Propositional Calculus
    keyword: propositional calculus keyword: classical logic keyword: completeness keyword: natural deduction keyword: sequent calculus keyword: cut elimination category: Mathematics/Logic/Foundations
    Floris van Doorn <fpvdoorn@gmail.com> [http://www.contrib.andrew.cmu.edu/~fpv/]
    8.10.0
    BSD
    Used by 0 other packages
    07 Dec 2019