An Introduction to Substructural Logics
Publisher: Routledge
Published: February 1, 2000
Language: eng
Number of pages: 400
ISBN-13: 9780415215336
First sentence: Given that logic is a discipline concerned with consequence, we will focus our attention on claims of the form X A where X is a body of premises, each one expressed in some language, and A is a conclusion also expressed in that language.