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
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics - MaRDI portal

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

From MaRDI portal

Publication:4566146

Jump to:navigation, search

DOI10.21146/2074-1472-2017-23-2-76-95zbMath1417.03196OpenAlexW2790073903MaRDI QIDQ4566146

Vladimir L. Vasyukov

Publication date: 14 June 2018

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2017-23-2-76-95

zbMATH Keywords

categorical semantics paraconsistent logic paraconsistent set theory da Costa algebra potos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Paraconsistent logics (03B53)

This page was built for publication: Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

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