A survey of proof nets and matrices for substructural logics

Title

A survey of proof nets and matrices for substructural logics

Description

This paper is a survey of two kinds of “compressed” proof schemes, the matrix method and proof nets, as applied to a variety of logics ranging along the substructural hierarchy from classical all the way down to the nonassociative Lambek system. A novel treatment of proof nets for the latter is provided. Descriptions of proof nets and matrices are given in a uniform notation based on sequents, so that the properties of the schemes for the various logics can be easily compared.

Fresno State author

College or School

Department

Format

book chapter

Citation Info

Fulop, S. A. (2019). A survey of proof nets and matrices for substructural logics. In B. Gyuris, K. Mády, & G. A. Recski (Eds.), K+ K= 120: Papers dedicated to László Kálmán and András Kornai on the occasion of their 60th birthdays. Research Institute for Linguistics, Hungarian Academy of Sciences. http://clara.nytud.hu/~kk120/2019/

Files

Fulop_p1.pdf

Citation

“A survey of proof nets and matrices for substructural logics,” Outstanding Faculty Publications, accessed March 29, 2024, https://facpub.library.fresnostate.edu/items/show/109.