classical-logic

There are 7 repositories under classical-logic topic.

  • rlepigre/pml

    New version of the PML language and (classical) proof assistant

    Language:OCaml206382

  • nclarius/pyPL

    Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

    Language:Python19102

  • Etec-SA/frege

    A propositional logic library.

    Language:TypeScript15000

  • smimram/div2

    An Agda formalization of "division by 2" in classical ZF without choice.

    Language:Agda230

  • artemmavrin/autoproof

    Intuitionistic and classical propositional logic library

    Language:Haskell1100

  • Champitoad/focalisation-classical-realizability

    Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.

    Language:TeX1300

  • plazajan/Propositional-Resolution

    Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

    Language:Prolog1100