Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

DOI10.1007/978-3-030-71430-7zbMath1470.03009OpenAlexW4200429540MaRDI QIDQ2232484

No author found.

Publication date: 5 October 2021

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71430-7

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03Bxx) Algebraic logic (03Gxx)

Related Items (2)

What is a relevant connective? ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

This page was built for publication: Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs