Geometric Models for Relevant Logics
From MaRDI portal
Publication:5027236
DOI10.1007/978-3-030-71430-7_6OpenAlexW3202056518MaRDI QIDQ5027236FDOQ5027236
Authors: Greg Restall
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_6
Recommendations
Cites Work
- Title not available (Why is that?)
- The semantics of entailment. II
- The undecidability of entailment and relevant implication
- Title not available (Why is that?)
- Semantics for relevant logics
- On the ternary relation and conditionality
- A Useful Substructural Logic
- Solution to the P − W problem
- Failure of interpolation in relevant logics
- Operational semantics for positive R
- Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
- Relevant implication and ordered geometry
Cited In (10)
- Title not available (Why is that?)
- Axiomatic Geometry of Conditional Models
- Geometrical structures and modal logic
- Formalizing mathematics in higher-order logic: A case study in geometric modelling
- Logical and set calculations in the framework of geometrical informatics paradigm
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries
- Multi-valued Logic for a Point-Free Foundation of Geometry
- Logical geometries and information in the square of oppositions
- Modal logics of some geometrical structures
- Title not available (Why is that?)
This page was built for publication: Geometric Models for Relevant Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027236)