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 FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS - MaRDI portal

ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS

From MaRDI portal

Publication:4168611

Jump to:navigation, search

DOI10.1070/IM1977v011n05ABEH001751zbMath0388.03027MaRDI QIDQ4168611

S. K. Sobolev

Publication date: 1977

Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Intuitionistic mathematics (03F55)

Related Items (3)

Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Comparison of the topological and relational semantics of superintuitionistic logics

This page was built for publication: ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS

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