{"product_id":"alasdair-urquhart-on-nonclassical-and-algebraic-logic-and-complexity-of-proofs-9783030714291","title":"Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis book is dedicated to Alasdair Urquhart's work in algebraic logic, lattice theory, proof complexity, and philosophical logic. It includes papers on his contributions to these fields, as well as a response to his papers. Urquhart has made significant advancements in logic, including the undecidability of relevant logics and the complexity of proofs. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 586 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 25 September 2021\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eAlasdair Urquhart is a renowned logician who has made significant contributions to various fields of logic. His work has had a profound impact on the understanding and development of logic. In this book, we will explore Alasdair Urquhart's work in detail, starting with an introduction to his life and career. We will then delve into his contributions to algebraic logic, lattice theory, the complexity of proofs, and philosophical logic. Finally, we will respond to his papers.\u003c\/p\u003e\u003cbr\u003e\u003cp\u003eAlasdair Urquhart's contributions to algebraic logic have been groundbreaking. He produced some of the earliest work on the semantics of relevant logic, which is a branch of logic that deals with the interpretation of logical statements in terms of their truth values. Urquhart's work on the semantics of relevant logic laid the foundation for many of the subsequent developments in the field. He provided the undecidability of the logics R (of relevant implication) and E (of relevant entailment), as well as some of their close neighbors. He also proved that interpolation fails in some of those systems.\u003c\/p\u003e\u003cbr\u003e\u003cp\u003eUrquhart's work in complexity theory has also been influential. He has done significant work in both the complexity of proofs in classical and some nonclassical logics. In particular, he has shown that the complexity of proofs in modal logic, which is a branch of logic that deals with the truth values of modal statements, is undecidable. This result has important implications for the study of logical reasoning and decision-making.\u003c\/p\u003e\u003cbr\u003e\u003cp\u003eIn pure algebra, Alasdair Urquhart has made significant contributions as well. He has produced a representation theorem for lattices, which are mathematical structures used to represent and manipulate sets. His duality theorems have also been beautiful and have shed light on the relationships between different types of algebraic structures.\u003c\/p\u003e\u003cbr\u003e\u003cp\u003eIn addition to his work in logic, Alasdair Urquhart has done important work in the history of logic, especially on Bertrand Russell. He edited Volume four of Russells Collected Papers, which contains many of Russell's most important writings on logic and philosophy. Urquhart's editing of this volume has been praised for its accuracy and clarity.\u003c\/p\u003e\u003cbr\u003eIn conclusion, Alasdair Urquhart is a towering figure in the field of logic. His contributions to algebraic logic, lattice theory, the complexity of proofs, and philosophical logic have had a profound impact on the understanding and development of logic. This book is dedicated to his work and serves as a testament to his brilliance and dedication to the field.\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 1057g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783030714291\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Hardback","offer_id":44102794739962,"sku":"9783030714291","price":99.95,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1646109803863_book.jpg?v=1646468117","url":"https:\/\/shulphink.com\/products\/alasdair-urquhart-on-nonclassical-and-algebraic-logic-and-complexity-of-proofs-9783030714291","provider":"Shulph Ink","version":"1.0","type":"link"}