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

scientific article

From MaRDI portal

Publication:3722491

Jump to:navigation, search

zbMath0593.03031MaRDI QIDQ3722491

Gaisi Takeuti, Satoko Titani

Publication date: 1986

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

zbMATH Keywords

inner model intuitionistic set theory dependent choice necessity operator nonclassical set theory check set generalized sets Heyting algebra valued sets Heyting-valued universes of sets inner truth value models for

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Related Items

First-order Gödel logics, Fuzzy sets in approximate reasoning. II: Logical approaches, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, A natural interpretation of fuzzy sets and fuzzy relations, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, Note on witnessed Gödel logics with Delta, Fuzzy logic and fuzzy set theory, Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years

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