Kripke Soundness Theorem for Propositional Intuitionistic Logic

Pull Requests

New Pull Request
Rejected proof: Kripke Soundness Theorem for Propositional Intuitionistic Logic Proof
#25 · opened by admin