Now showing items 1-3 of 3

  • Holen, Bjarne; Hovland, Dag; Giese, Martin (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2012)
    Coherent logic is a syntactically defined fragment of first-order logic. The paper describes an experiment with a prover for coherent logic. A prover here means software that takes as input a theory in coherent logic, and ...
  • Hovland, Dag; Holen, Bjarne; Giese, Martin (Conference object / Konferansebidrag, 2012)
    Over the past decades, a number of calculi for automated reasoning have been proposed that share some core features: 1. proofs are built in a tableau/sequent style as trees where nodes are labeled with literals, and 2. ...
  • Holen, Bjarne (Master thesis / Masteroppgave, 2005)
    Rewriting logic can be used to prototype systems for automated deduction. In this paper, we illustrate how this approach allows experiments with deduction strategies in a flexible and conceptually satisfying way. ...