scientific article; zbMATH DE number 1500671
From MaRDI portal
Publication:4501691
zbMath0954.18002MaRDI QIDQ4501691
Publication date: 29 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Special categories (18B99) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items
Generalized Kripke frames ⋮ Categorical foundations of variety-based bornology ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Stone Dualities from Opfibrations ⋮ Lattice-valued soft algebras. ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks ⋮ On limits and colimits of variety-based topological systems ⋮ Some classes of abstract simplicial complexes motivated by module theory ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Category of Chu spaces over S-Act category ⋮ Spaces modelled by an algebra on \([0,\infty \) and their complete objects] ⋮ Set relations and set systems induced by some families of integral domains ⋮ Channels: From Logic to Probability ⋮ Bifinite Chu Spaces ⋮ The Physical Meaning of the Holographic Principle
