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
scientific article; zbMATH DE number 7236168 - MaRDI portal

scientific article; zbMATH DE number 7236168

From MaRDI portal

Publication:5115671

Jump to:navigation, search

zbMath1462.03004MaRDI QIDQ5115671

J. Michael Dunn

Publication date: 17 August 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness algebra of logic semantics entailment relevance logic intensional logic De Morgan monoid

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ An algebraic view of super-Belnap logics ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions

This page was built for publication:

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