scientific article
From MaRDI portal
Publication:3050435
zbMath0415.03055MaRDI QIDQ3050435
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
category of setstopoialgorithmic properties of structurescategory of fuzzy sets with values in a completely distributive latticecategory of sheaves over any topological spaceformulae in infinitary languagesintuitionistically decidable formulae
Theory of fuzzy sets, etc. (03E72) Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Algorithms in computer science (68W99) Proof theory and constructive mathematics (03F99)
Related Items (1)
This page was built for publication:
