Alasdair Urquhart has made extremely important contributions to a variety of fields in logic. He produced some of the earliest work on the semantics of relevant logic. 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 proved that interpolation fails in some of those systems. Urquhart has done very important work in complexity theory, both about the complexity of proofs in classical and some nonclassical logics. In pure algebra, he has produced a representation theorem for lattices and some rather beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russell's Collected Papers.
Publisher: Springer Nature Switzerland AG
Number of pages: 588
Dimensions: 235 x 155 mm
Edition: 1st ed. 2022
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?
Or, add to basket, pay online, collect in as little as 2 hours, subject to availability.