Geometric Models for Relevant Logics

DOI10.1007/978-3-030-71430-7_6MaRDI QIDQ5027236zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

geometrymodelsemanticsframerelevant logicsubstructural

Mathematics Subject Classification ID

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

Recommendations

• Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
• Relevant implication and ordered geometry
• scientific article; zbMATH DE number 3887654
• Relevant logics: from semantics to proof systems
• Models for relevant modal logics

Cites work

• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• A Useful Substructural Logic
• Failure of interpolation in relevant logics
• On the ternary relation and conditionality
• Operational semantics for positive R
• Relevant implication and ordered geometry
• Semantics for relevant logics
• Solution to the P − W problem
• The semantics of entailment. II
• The undecidability of entailment and relevant implication
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics

Cited in

(10)

• Axiomatic Geometry of Conditional Models
• scientific article; zbMATH DE number 6928613 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 6954647 (Why is no real title available?)

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)