21 citations · 26 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2014★ 1 cited
Dialogues for proof search
Jesse Alama
Dialogue games are a two-player semantics for a variety of logics, including intuitionistic and classical logic. Dialogues can be viewed as a kind of analytic calculus not unlike t…
math.LO2014
Some problems with two axiomatizations of discussive logic
Jesse Alama
Problems in two axiomatizations of Jaśkowski's discussive (or discursive) logic D2 are considered. A recent axiomatization of D2 and completeness proof relative to D2's intended se…
math.LO2012★ 4 cited
Tipi: A TPTP-based theory development environment emphasizing proof analysis
Jesse Alama
In some theory development tasks, a problem is satisfactorily solved once it is shown that a theorem (conjecture) is derivable from the background theory (premises). Depending on o…