Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Name: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Brand: Springer Nature
SKU: 9783030714291
Availability: InStock

Best Price (Coupon Required):
Buy Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs for $107.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $119.00 - $119.00

BEST PRICE

Single Product Purchase

$107.10

@ Link.springer.com with extra coupon

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$119.00	$119.00		10% OFF This deals requires coupon	$107.10		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783030714291

Condition

New

Product Description

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquharts work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. The final section of the book contains a response to the papers by Urquhart. 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, hehas 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 Russells Collected Papers.

Available Colors

N/A

Available Sizes

N/A