scientific article
From MaRDI portal
Publication:3329467
zbMath0542.03045MaRDI QIDQ3329467
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (11)
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 ⋮ CASE system for structured modular composition programming: Conceptual fundamentals ⋮ Reconfiguring system hierarchies with multi-valued logic ⋮ A methodology of structured-modular composition programming ⋮ Geometry of recursion for arithmetic and existentially defined relations ⋮ Problems of constructing intelligent systems. Knowledge representation ⋮ Generalization of linear morphisms on \(N\) in topoi ⋮ Problems of constructing intelligent systems. Intelligent modeling ⋮ Linear morphisms in a topos ⋮ Decomposition of models of control processes
This page was built for publication:
