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

scientific article; zbMATH DE number 7669413

From MaRDI portal

Publication:5883183

Jump to:navigation, search

MaRDI QIDQ5883183

Wesley H. Holliday

Publication date: 29 March 2023

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

zbMATH Keywords

modal logic Boolean algebra Stone duality first-order logic forcing MacNeille completion Heyting algebra intuitionistic logic provability logic axiom of choice Kripke frame inquisitive logic possible world semantics canonical extension regular open algebra

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Lattices and duality (06D50)

Related Items (2)

Positive modal logic beyond distributivity ⋮ Mathematical modality: an investigation in higher-order logic

This page was built for publication:

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