130 citations · 228 across the 17 of their papers we have counts for
10 papers · 1 filter
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…
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…
Toward a structure theory for Lorenzen dialogue games
Jesse Alama
Lorenzen dialogues provide a two-player game formalism that can characterize a variety of logics: each set of rules for such a game determines a set of formula…