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
scientific article; zbMATH DE number 1086718 - MaRDI portal

scientific article; zbMATH DE number 1086718

From MaRDI portal

Publication:4362967

Jump to:navigation, search

zbMath0881.03044MaRDI QIDQ4362967

Wiesław Pawłowski, Till Mossakowski, Andrzej Tarlecki

Publication date: 17 February 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

limits representation categories universal logic institution combination of logical systems parchment

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) General logic (03B99)

Related Items (5)

Category localization semantics for specification refinements ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ Representing model theory in a type-theoretical logical framework ⋮ Parchments for CafeOBJ Logics ⋮ On what exactly goes on when software is developed step-by-step. II: The sequel

This page was built for publication:

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