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 the transformations of the square of opposition from the point of view of institution model theory - MaRDI portal

On the transformations of the square of opposition from the point of view of institution model theory

From MaRDI portal

Publication:6600395

Jump to:navigation, search

DOI10.1007/978-3-030-90823-2_13MaRDI QIDQ6600395

Yiannis Kiouvrekis, Ioannis M. Vandoulakis, Petros Stefaneas

Publication date: 9 September 2024

zbMATH Keywords

Galois connection category theory square of opposition abstract model theory classification of judgements institutions theory

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Foundations, relations to logic and deductive systems (18A15) Abstract model theory (03C95)

This page was built for publication: On the transformations of the square of opposition from the point of view of institution model theory

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