Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Relevant Implication and Ordered Geometry - MaRDI portal

Relevant Implication and Ordered Geometry

From MaRDI portal

Publication:5205988

Jump to:navigation, search

DOI10.26686/ajl.v16i8.5732zbMath1456.03042OpenAlexW2991654633MaRDI QIDQ5205988

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

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

Related Items (4)

A Logical Autobiography ⋮ Tarskian Classical Relevant Logic ⋮ Geometric Models for Relevant Logics ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

This page was built for publication: Relevant Implication and Ordered Geometry

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5205988&oldid=19800804"