scientific article; zbMATH DE number 3861159
From MaRDI portal
Publication:3329467
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Topoi (18B25)
Cited in
(11)- Linear morphisms in a topos
- Decomposition of models of control processes
- Geometry of recursion for arithmetic and existentially defined relations
- CASE system for structured modular composition programming: Conceptual fundamentals
- A methodology of structured-modular composition programming
- Problems of constructing intelligent systems. Intelligent modeling
- Problems of constructing intelligent systems. Knowledge representation
- To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences)
- Elementary rotations of operators on regular Banach spaces
- Generalization of linear morphisms on \(N\) in topoi
- Reconfiguring system hierarchies with multi-valued logic
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 Q3329467)
