Highly Influenced

# The Twelf Proof Assistant

@inproceedings{Schrmann2009TheTP, title={The Twelf Proof Assistant}, author={Carsten Sch{\"u}rmann}, booktitle={TPHOLs}, year={2009} }

- Published 2009 in TPHOLs
DOI:10.1007/978-3-642-03359-9_7

Logical framework research is based on the philosophical point of view that it should be possible to capture mathematical concepts such as proofs, logics, and meaning in a formal system — directly, adequately (in the sense that there are no spurious or exotic witnesses), and without having to commit to a particular logical theory. Instead of working with one general purpose representation language, we design special purpose logical frameworks for capturing reoccurring concepts for special… CONTINUE READING

Highly Cited

This paper has 26 citations. REVIEW CITATIONS

#### From This Paper

##### Topics from this paper.

18 Citations

7 References

Similar Papers

#### References

##### Publications referenced by this paper.

Showing 1-7 of 7 references