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.
College or School
Department
Format
book chapter
Full text
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
Collection
Citation
“A survey of proof nets and matrices for substructural logics,” Outstanding Faculty Publications, accessed November 21, 2024, https://facpub.library.fresnostate.edu/items/show/109.