Comments on the Contributions

DOI10.1007/978-3-030-71430-7_22OpenAlexW3204378037MaRDI QIDQ5027252

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras and projective geometries
• Model theory for modal logic. I: The de re / de dicto distinction
• Distributive lattices with an additional unary operation
• Logic at work. Essays dedicated to the memory of Helena Rasiowa
• The number of lines in Frege proofs with substitution
• Duality for algebras of relevant logics
• Kripke models for linear logic
• The Blind Spot
• Begründung einer strengen Implikation
• The undecidability of entailment and relevant implication
• The Variety of Modular Lattices is Not Generated by its Finite Members
• Free Modular Lattices
• An axiomatic version of positive semilattice relevance logic
• An Interpretation of Many-Valued Logic
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• The Complexity of Propositional Proofs with the Substitution Rule