130 citations · 228 across the 17 of their papers we have counts for
20 papers
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…
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…
Proof identity for mere mortals
Jesse Alama
The proof identity problem asks: When are two proofs the same? The question naturally occurs when one reflects on mathematical practice. The problem understandably can be seen as a…
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…
A machine-assisted view of paraconsistency
Jesse Alama
For a newcomer, paraconsistent logics can be difficult to grasp. Even experts in logic can find the concept of paraconsistency to be suspicious or misguided, if not actually wrong.…
Sharpening independence results for Huntington's affine geometry
Jesse Alama
We improve upon Huntington's affine geometry by showing that his independence proofs can be, in some cases, simplified. We carry out a systematic investigation of the strict notion…