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 970632 - MaRDI portal

scientific article; zbMATH DE number 970632

From MaRDI portal

Publication:5688811

Jump to:navigation, search

zbMath0862.03008MaRDI QIDQ5688811

Kosta Došen, Zoran Petrić

Publication date: 16 March 1997

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

zbMATH Keywords

deduction theorem deductive metatheory modal functional completeness modal substructural propositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (2)

Medial commutativity ⋮ On Definability of Connectives and Modal Logics over FDE

This page was built for publication:

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