• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

JavaSplitter. A Java Implementation of Variable Splitting Proof Search

Ekern, Karianne
Master thesis
View/Open
ThesisBib.pdf (1.001Mb)
Year
2005
Permanent link
http://urn.nb.no/URN:NBN:no-10641

Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3608]
Abstract
This thesis describes the design and implementation of JavaSplitter, a

prototype incremental proof search engine based on a variable splitting sequent calculus. The prover also includes modes for variable pure derivations, and for variable sharing derivations without splitting.

The splitting calculus uses an index system to achieve variable

sharing derivations, and to keep track of how variables are split into

different branches of a derivation. A graph representation of the

indices occurring in a skeleton and operations on this graph are used

to determine when splitting of such variables is sound.

The design and implementation of the data structures and operations

necessary for the proof search procedures are described. Further, the

three modes of proof search are compared with regard to number of

steps used to reach a proof for a set of valid input sequents.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy