scientific article; zbMATH DE number 1500671
From MaRDI portal
Publication:4501691
Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Special categories (18B99) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)
Recommendations
Cited in
(30)- Chu spaces from the representational viewpoint
- Chu spaces as a semantic bridge between linear logic and mathematics.
- Category of Chu spaces over S-Act category
- Some classes of abstract simplicial complexes motivated by module theory
- Set relations and set systems induced by some families of integral domains
- Categorical foundations of variety-based bornology
- Preface to the special volume: ``Chu spaces: theory and applications
- The Chu construction: history of an idea
- FUZZY SETS AND FUZZY RELATIONAL STRUCTURES AS CHU SPACES
- Lattice-valued topological systems as a framework for lattice-valued formal concept analysis
- Channels: From Logic to Probability
- UC Spaces Revisited
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- On limits and colimits of variety-based topological systems
- Categorical foundations of variety-based topology and topological systems
- scientific article; zbMATH DE number 1231581 (Why is no real title available?)
- On Chu spaces in uncertainty analysis
- scientific article; zbMATH DE number 860047 (Why is no real title available?)
- scientific article; zbMATH DE number 918297 (Why is no real title available?)
- Stone Dualities from Opfibrations
- The Physical Meaning of the Holographic Principle
- Bifinite Chu Spaces
- Diagonals between \(\mathcal{Q}\)-distributors
- Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks
- Communication protocols and QECCs from the perspective of TQFT. I: Constructing LOCC protocols and QECCs from TQFTs
- Lambek-Grishin calculus: focusing, display and full polarization
- Categorical relationships between Goguen sets and ``two-sided categorical models of linear logic
- Generalized Kripke frames
- Lattice-valued soft algebras.
- Spaces modelled by an algebra on \([0,\infty ]\) and their complete objects
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 Q4501691)
