130 citations · 228 across the 17 of their papers we have counts for
Showing 2014 · math.LOShow all
3 papers · 2 filters
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.LO2014
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools
Jesse Alama
This note reports on some experiments, using a handful of standard automated reasoning tools, for exploring Steinitz-Rademacher polyhedra, which are models of a certain first-order…