Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

af Edwin Mares

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart¿s 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 ... (Læs mere)