
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)
The material presented in this paper contributes to establishing a basis...
read it

Craig Interpolation with Clausal FirstOrder Tableaux
We develop foundations for computing CraigLyndon interpolants of two gi...
read it

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of FirstOrder Logic
PIE is a Prologembedded environment for automated reasoning on the basi...
read it

KBSET – KnowledgeBased Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWIProlog
KBSET is an environment that provides support for scholarly editing in t...
read it

PIE – Proving, Interpolating and Eliminating on the Basis of FirstOrder Logic
PIE is a Prologembedded environment for automated reasoning on the basi...
read it

KBSET  KnowledgeBased Support for Scholarly Editing and Text Processing
KBSET supports a practical workflow for scholarly editing, based on usin...
read it

Craig Interpolation and Access Interpolation with Clausal FirstOrder Tableaux
We show methods to extract CraigLyndon interpolants and access interpol...
read it

Heinrich Behmann's Contributions to SecondOrder Quantifier Elimination from the View of Computational Logic
For relational monadic formulas (the Löwenheim class) secondorder quant...
read it

The Boolean Solution Problem from the Perspective of Predicate Logic  Extended Version
Finding solution values for unknowns in Boolean equations was a principa...
read it

Computing with Logic as Operator Elimination: The ToyElim System
A prototype system is described whose core functionality is, based on pr...
read it
Christoph Wernhard
is this you? claim profile