activity
20112020
most citedA Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

math.LO2013

On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux

Dan E. Willard

This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transfor…