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
Theories of propositional logics and the converse of substitution - MaRDI portal

Theories of propositional logics and the converse of substitution

From MaRDI portal

Publication:2678340

Jump to:navigation, search

DOI10.3103/S1066369X22050048MaRDI QIDQ2678340

I. A. Gorbunov

Publication date: 23 January 2023

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

Łukasiewicz logic superintuitionistic logic exact unifying substitution tabular substitutional logic

Mathematics Subject Classification ID

General logic (03Bxx)

Cites Work

This page was built for publication: Theories of propositional logics and the converse of substitution

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