|
|
|
|
Substructural Logics
Edited by Kosta Dosen and Peter Schroder-Heister
396 pages
|
line figures
|
234x156mm
978-0-19-853777-9
|
Hardback
|
16 December 1993
|
|
This item is printed to order and supplied on a firm sale basis. Items which are printed to order are normally despatched and charged within 5-10 days.
|
|
|
- Collection of papers from eminent logicians
- Creates a unified approach for the first time
Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories.
Substructural logics differ from classical logics, and from each other, in their presuppositions about Gentzen's structural rules, although their presuppositions about the deductive role of logic constants are invariant.
Substructural logics have been a subject of study for logicians during the last
sixty years. Specialists have often worked in isolation, however, largely unaware of the contributions of others. This book brings together new papers by some of the most eminent authorities in these various traditions to produce a unified view of substructural logics.Readership: Logicians, theoretical computer scientists, theoretical linguists, philosophers, mathematicians working in category theory and universal algebra. Aimed at the specialist, or advanced graduate student.
|
|
|
Edited by Kosta Dosen, Professor of Mathematical Logic, Mathematical Institute, Belgrade, and Peter Schroder-Heister, Professor of Logic and Philosophy of Language, Universität Tübingen Contributors:
Kosta Dosen: Mathematical Insitute, Belgrade, Yugoslavia; Nuel Belnap: University of Pittsburgh, USA; Martin W Bunder: University of Wollongong, Australia; J. Michael Dunn: Indiana University, USA; Dov M. Gabbay: Imperial College, London, UK; Aleksander Kron: University of Belgrade, Yugoslavia; Joachim Lambek, McGill University, Canada; Robert K. Meyer: Australian National University; Edwin D. Mares: Australian National
University; Hiroakira Ono, Hiroshima University, Japan; Giovanni Sambin: University of Padova, Italy; Sergei V. Soloviev: St Petersburgh Institute of Informatics and Automization, Russia; A. S. Troelstra: University of Amsterdam, The Netherlands; Johan van Benthem: University of Amsterdam, The Netherlands.
|
|
|
"It unites a number of research papers from the various traditions with some admirable survey articles ... this is a good collection of papers that would be useful to beginners in the field; it admirably fulfils the editors' ambition to bring together researchers from the different traditions in peaceful and fruitful collaboration." - A. Urquhart, University of Toronto, History and Philosophy of Logic, 16 (1995)
|
|
|
A historical introduction to substructural logics
Life in the undistributed middle
Theorems in classical logic are instances of theorems in condensed BCI logic
Partial gaggles applied to logics with restricted structural rules
A general theory of structured consequence relations
Decidability and interpolation for a first-order relevance logic
Logic without structural rules (another look at cut elimination)
From categorial grammar to bilinear logic
The semantics of entailment O
Lambda terms with functional symbols and decidability in certain closed categories
Tutorial on linear logic
The landscape of deduction
Index
|
|
|
|
Recently Viewed
|
|
|
22 pieces for mixed voices
Fred Onovwerosuoke
Vocal score
£12.50
|
|
|
|
|
|
Vivian Mercier, Eilís Dillon
£88.00
|
|
|
|
|
Mildred Harnack and the Red Orchestra
Shareen Blair Brysac
£10.00
|
|
|
|
|
The specification in this catalogue, including without limitation price, format, extent, number of illustrations, and month of publication, was as accurate as possible at the time the catalogue was compiled. Occasionally, due to the nature of some contractual restrictions, we are unable to ship a specific product to a particular territory. Jacket images are provisional and liable to change before publication.
|
|
