130 citations · 228 across the 17 of their papers we have counts for
5 papers · 2 filters
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…
Sentence complexity of theorems in Mizar
Jesse Alama
As one of the longest-running computer-assisted formal mathematics projects, large tracts of mathematical knowledge have been formalized with the help of the Mizar system. Because…
Complete independence of an axiom system for central translations
Jesse Alama
A recently proposed axiom system for André's central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms).…