Comments on the Contributions
From MaRDI portal
Publication:5027252
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
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)