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

scientific article

From MaRDI portal

Publication:3921201

Jump to:navigation, search

zbMath0468.03007MaRDI QIDQ3921201

Piotr Wojtylak

Publication date: 1981

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

zbMATH Keywords

Lukasiewicz logic pure implicative fragments of intuitionistic propositional logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Classical propositional logic (03B05) Many-valued logic (03B50) Intermediate logics (03B55)

Related Items (2)

Local deductions theorems ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

This page was built for publication:

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