0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R5,000 - R10,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Substructural Logics (Hardcover): Kosta Dosen, Peter Schroder-Heister Substructural Logics (Hardcover)
Kosta Dosen, Peter Schroder-Heister
R5,338 Discovery Miles 53 380 Ships in 10 - 15 working days

The new area of logic and computation is now undergoing rapid development. This has affected the social pattern of research in the area. A new topic may rise very quickly with a significant body of research around it. The community, however, cannot wait the traditional two years for a book to appear. This has given greater importance to thematic collections of papers, centred around a topic and addressing it from several points of view, usually as a result of a workshop, summer school, or just a scientific initiative. Such a collection may not be as coherent as a book by one or two authors yet it is more focused than a collection of key papers on a certain topic. It is best thought of as a thematic collection, a study in the area of logic and computation. The new series Studies in Logic and Computation is intended to provide a home for such thematic collections. 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 logical 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 varioustraditions to produce a unified view of substructural logics.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Message of Ephesians - God's New…
John Stott Paperback R410 R335 Discovery Miles 3 350
Galatians - A Commentary
Martinus C.De Boer Hardcover R1,979 R1,531 Discovery Miles 15 310
Pastoral Practices - A Wesleyan Paradigm
Mark A. Maddix, Diane Leclerc Paperback R539 R448 Discovery Miles 4 480
The New Testament in its World - An…
N. T Wright, Michael F. Bird Hardcover R1,361 R1,090 Discovery Miles 10 900
Exploring The New Testament
Walter M. Dunnett Paperback R153 Discovery Miles 1 530
Advent For Everyone: A Journey Through…
Tom Wright Paperback  (1)
R306 R248 Discovery Miles 2 480
Luke (Lifebuilder Study Guides) - New…
Ada Lum Paperback R219 R179 Discovery Miles 1 790
For Everyone Bible Study Guide…
Tom Wright Paperback R188 R153 Discovery Miles 1 530
The Mission of Jesus - The Gospel of…
Charles 'Chic' Shaver Paperback R128 R105 Discovery Miles 1 050
Engaging the Word - The New Testament…
Jaime Clark-Soles Paperback R663 R540 Discovery Miles 5 400

 

Partners