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
On strong equivalence theorem for answer set semantics with strong negation - MaRDI portal

On strong equivalence theorem for answer set semantics with strong negation

From MaRDI portal

Publication:2630548

Jump to:navigation, search

DOI10.17377/semi.2015.12.010zbMath1352.03036MaRDI QIDQ2630548

Sergei P. Odintsov, Z. V. Makridin

Publication date: 28 July 2016

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

paraconsistency strong negation strong equivalence of logic programs Nelson logic answer set

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Paraconsistent logics (03B53)

This page was built for publication: On strong equivalence theorem for answer set semantics with strong negation

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