Relevant implication and ordered geometry

DOI10.26686/AJL.V16I8.5732MaRDI QIDQ5205988zbMATH OpenOpenAlexFDO

Authors Alasdair Urquhart

Publication date 17 December 2019

Published in The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.26686/ajl.v16i8.5732

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) General theory of linear incidence geometry and projective geometries (51A05)

Recommendations

• scientific article; zbMATH DE number 3887654
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
• scientific article; zbMATH DE number 4047689
• scientific article; zbMATH DE number 3893181
• THE CONTINUOUS REALIZABILITY OF ENTAILMENT

Cited in

(5)

• Tarskian Classical Relevant Logic
• Geometric Models for Relevant Logics
• scientific article; zbMATH DE number 3887654 (Why is no real title available?)
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• A Logical Autobiography

This page was built for publication: Relevant implication and ordered geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5205988)