*This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'.*

**Author**: Greg Restall

**Publisher:** Routledge

**ISBN:** 9781136799303

**Category:** Philosophy

**Page:** 396

**View:** 883

*This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'.*

**Author**: Greg Restall

**Publisher:** Routledge

**ISBN:** 9781136799303

**Category:** Philosophy

**Page:** 396

**View:** 883

*H. Ono, Structural rules and a logical hierarchy, in Mathematical Logic, ed. by P.P. Petkov (Plenum, New York, 1990), pp. 95–104 42. H. Ono, Substructural logics and residuated lattices: an introduction, in 50 Years of Studia Logica, ...*

**Author**: Davide Fazio

**Publisher:** Springer Nature

**ISBN:** 9783030521639

**Category:** Philosophy

**Page:** 193

**View:** 727

*M. Okada, An introduction to linear logic: expressiveness and phase semantics, Theories of Types and Proofs (M. Takahashi, M. Okada, and M. Dezani, eds.), MSJ-Memoir 2, Mathematical Society of Japan, 1998. M. Okada, Phase semantic ...*

**Author**: Nikolaos Galatos

**Publisher:** Elsevier

**ISBN:** 0080489648

**Category:** Mathematics

**Page:** 532

**View:** 687

*We hope this chapter will serve as an introduction and invitation to these subjects for researchers and students interested in residuated lattices, substructural logics, and the algebraic approach to proof theory developed and promoted ...*

**Author**: Nikolaos Galatos

**Publisher:** Springer Nature

**ISBN:** 9783030769208

**Category:** Philosophy

**Page:** 375

**View:** 824

*Residuated Lattices — an Introduction Abstract. This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic ...*

**Author**: Vincent F. Hendricks

**Publisher:** Springer Science & Business Media

**ISBN:** 9789401735988

**Category:** Philosophy

**Page:** 384

**View:** 329

*Keeping in mind the characterization of substructural logics that we suggested at the outset, the reader is now in a position to understand why we remarked that Gentzen can be reputed, broadly speaking, the first substructural logician.*

**Author**: F. Paoli

**Publisher:** Springer Science & Business Media

**ISBN:** 9789401731799

**Category:** Philosophy

**Page:** 305

**View:** 103

*My Introduction to Substructural Logics [2000a] has a similar scope to this chapter, in that it covers the broad sweep of substructural logics: however, that book is more technical than this essay, as it features many formal results ...*

**Author**: Dov M. Gabbay

**Publisher:** Elsevier

**ISBN:** 0080463037

**Category:** Mathematics

**Page:** 732

**View:** 206

*First, I try to show that relevant logic and its semantics are intelligible and intuitive. ... The books are Greg Restall's An Introduction to Substructural Logics (Restall 2000) and Francesco Paoli's Substructural Logic: A Primer ...*

**Author**: Edwin D. Mares

**Publisher:** Cambridge University Press

**ISBN:** 9780521829236

**Category:** Philosophy

**Page:** 229

**View:** 346

*Notre Dame Journal of Formal Logic , 15 ( 4 ) : 497-510 , 1974 . [ Doš93 ] K. Došen . A Historical Introduction to Substructural Logics . In P. Schroeder - Heister and K. Došen , editors , Substructural Logics , pages 1-31 .*

**Author**: Walter Alexandr Carnielli

**Publisher:** CRC Press

**ISBN:** 0203910133

**Category:** Mathematics

**Page:** 376

**View:** 593

*Logic with Trees, by Colin Howson [12] is an introductory text that also uses trees as its fundamental tool in ... My book An Introduction to Substructural Logics [22] gives an introduction to relevant logics (and logics like them) that ...*

**Author**: Greg Restall

**Publisher:** Routledge

**ISBN:** 9781134145997

**Category:** Philosophy

**Page:** 240

**View:** 417