1 citations · 2 across the 3 of their papers we have counts for
4 papers · 1 filter
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)
Christoph Wernhard, Wolfgang Bibel
The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and studies global features…
KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog
Jana Kittelmann, Christoph Wernhard
KBSET is an environment that provides support for scholarly editing in two flavors: First, as a practical tool KBSET/Letters that accompanies the development of editions of corresp…
PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic
Christoph Wernhard
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. It includes a versatile formula macro system and supports the creation of documents…
KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing
Jana Kittelmann, Christoph Wernhard
KBSET supports a practical workflow for scholarly editing, based on using LaTeX with dedicated commands for semantics-oriented markup and a Prolog-implemented core system. Prolog p…