4 citations · 8 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.AG2020
Formulas generalizing Pappus and Desargues
Roger D. Maddux
The Theorems of Pappus and Desargues are generalized by two special formulas that hold in the three-dimensional vector space over a field.
math.LO2020
Tarskian classical relevant logic
Roger D. Maddux
The Tarskian classical relevant logic TR arises from Tarski's work on the foundations of the calculus of relations and on first-order logic restricted to finitely many variables, p…