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

scientific article; zbMATH DE number 4121997

From MaRDI portal

Publication:4735194

Jump to:navigation, search

zbMath0685.03046MaRDI QIDQ4735194

Gonzalo E. Reyes, Rene Lavendhomme, Thierry Lucas

Publication date: 1989

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

zbMATH Keywords

modal logic completeness soundness Boolean topos Beth trees geometric morphism of toposes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (3)

Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Bi-Heyting algebras, toposes and modalities ⋮ Formal systems for modal operators on locales

This page was built for publication:

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