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
DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS - MaRDI portal

DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS

From MaRDI portal

Publication:3082203

Jump to:navigation, search

DOI10.5831/HMJ.2010.32.4.625zbMath1217.03047OpenAlexW2021962518MaRDI QIDQ3082203

Young Hie Kim, Sun Shin Anh

Publication date: 9 March 2011

Published in: Honam Mathematical Journal (Search for Journal in Brave)

Full work available at URL: http://www.mathnet.or.kr/mathnet/thesis_content.php?no=402776

zbMATH Keywords

deductive system pre-logic terminal section

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

This page was built for publication: DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS

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