Comments on the Contributions

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

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

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

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)