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 generalization starts here (and here = 2) - MaRDI portal

Relevant generalization starts here (and here = 2)

From MaRDI portal

Publication:5199095

Jump to:navigation, search

DOI10.12775/LLP.2010.012zbMath1244.03081MaRDI QIDQ5199095

Dmitry Zaitsev, Oleg Grigor'ev

Publication date: 11 August 2011

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

relevant logic De Morgan lattice first-degree entailment generalized truth values quasi-complement logical order negation connective quasi-field of sets

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

This page was built for publication: Relevant generalization starts here (and here = 2)

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