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 5233153 - MaRDI portal

scientific article; zbMATH DE number 5233153

From MaRDI portal

Publication:5441065

Jump to:navigation, search

zbMath1133.03044MaRDI QIDQ5441065

George Voutsadakis

Publication date: 7 February 2008

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

zbMATH Keywords

algebraizable logics protoalgebraic logics equivalential logics equivalent deductive systems equivalent institutions Tarski operator Leibniz theories weakly algebraizable logics, Leibniz operator

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

This page was built for publication:

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