9 citations · 37 across the 32 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers
Paul Tarau
We develop combinatorial test generation algorithms for progressively more powerful theorem provers, covering formula languages ranging from the implicational fragment of intuition…
cs.LO2019★ 1 cited
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
Paul Tarau
We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic by starting from the sequent calculus {\bf G4IP} that we extend with operator definitions providing an embed…