2 papers
cs.LO2025
The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
Christoph Wernhard
Finding solution values for unknowns in Boolean equations was a principal reasoning mode in the Algebra of Logic of the 19th century. Schröder investigated it as Auflösungsproble…
cs.LO2024
Investigations into Proof Structures
Christoph Wernhard, Wolfgang Bibel
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-…