scientific article; zbMATH DE number 3645095
zbMATH Open0415.03055MaRDI QIDQ3050435FDOQ3050435
Authors: Michel Eytan 
Publication date: 1979
Title of this publication is not available (Why is that?)
topoicategory of setsalgorithmic 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)
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3050435)
