Enno Sandner

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In order to minimize the cost of rapid prototyping, SEdit ooers the possibility to validate a technical system before its actual realization. For this purpose, the system has to be described logically by a set of axioms (system speciication). By means of deduction, it can be proven that the system will show the desired behaviour. For the sake of user(More)
Following the idea of Linear Proofs presented in 4] we introduce the Direct Logic 14] with exponentials (DLE). The logic combines Direct Logic with the exponentials of Linear Logic. For a well-chosen subclass of formulas of this logic we provide a matrix-characterization which can be used as a foundation for proof-search methods based on the connection(More)
  • 1