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
On equational completeness theorems - MaRDI portal

On equational completeness theorems

From MaRDI portal

Publication:6372515

Jump to:navigation, search

DOI10.1017/JSL.2021.67arXiv2107.05069WikidataQ113858284 ScholiaQ113858284MaRDI QIDQ6372515

Tommaso Moraschini

Publication date: 11 July 2021

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Equational logic, Mal'tsev conditions (08B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Abstract algebraic logic (03G27)

This page was built for publication: On equational completeness theorems

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