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
Hyperdoctrines and the ontology of stratified semantics - MaRDI portal

Hyperdoctrines and the ontology of stratified semantics

From MaRDI portal

Publication:2658306

Jump to:navigation, search

DOI10.1007/978-3-030-52163-9_9zbMath1498.03054OpenAlexW3102425360MaRDI QIDQ2658306

Shay Allen Logan

Publication date: 19 March 2021

Full work available at URL: https://philarchive.org/rec/LOGHAT

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Neighbourhood semantics for quantified relevant logics

This page was built for publication: Hyperdoctrines and the ontology of stratified semantics

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