Comments on the Contributions

DOI10.1007/978-3-030-71430-7_22MaRDI QIDQ5027252zbMATH OpenOpenAlexFDO

Authors Alasdair Urquhart

Publication date 4 February 2022

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_22

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Cites work

• An axiomatic version of positive semilattice relevance logic
• An Interpretation of Many-Valued Logic
• Begründung einer strengen Implikation
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Distributive lattices with an additional unary operation
• Duality for algebras of relevant logics
• Free Modular Lattices
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 6538222 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028817 (Why is no real title available?)
• scientific article; zbMATH DE number 2061781 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• Kripke models for linear logic
• Logic at work. Essays dedicated to the memory of Helena Rasiowa
• Model theory for modal logic. I: The de re / de dicto distinction
• Relation algebras and projective geometries
• The blind spot. Lectures on logic
• The Complexity of Propositional Proofs with the Substitution Rule
• The number of lines in Frege proofs with substitution
• The undecidability of entailment and relevant implication
• The Variety of Modular Lattices is Not Generated by its Finite Members

This page was built for publication: Comments on the Contributions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027252)