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
Translations Between Logics: A Survey - MaRDI portal

Translations Between Logics: A Survey

From MaRDI portal

Publication:5115853

Jump to:navigation, search

DOI10.1515/9783110657883-005zbMath1465.03047OpenAlexW4229496725MaRDI QIDQ5115853

Itala M. Loffredo D'Ottaviano, Hércules de Araújo Feitosa

Publication date: 21 August 2020

Published in: Philosophy of Logic and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9783110657883-005

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22)

This page was built for publication: Translations Between Logics: A Survey

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