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

scientific article; zbMATH DE number 1333592

From MaRDI portal

Publication:4260365

Jump to:navigation, search

zbMath0925.03220MaRDI QIDQ4260365

Vaughan R. Pratt

Publication date: 19 September 1999

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

zbMATH Keywords

algebra of Chu spaces constructive model of linear logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Metamathematics of constructive systems (03F50) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (2)

Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Chu spaces from the representational viewpoint

This page was built for publication:

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