2 papers
cs.LO2025
Tableau methodology for propositional logics
T. Jarmuzek, R. Gore
We set out a general methodology for producing tableau systems for propositional logics via a tableau metatheory that provides general and formal notions for different tableau syst…
math.GM2025
Patterns Within the Markov Tree
Robert A. Gore
An analysis of the Markov tree is presented. Markov triplets, {x,R,z}, are the positive integer solutions to the Diophantine equation x2 + R2 + z2 = 3xRz. Inspired by patterns of t…