scientific article; zbMATH DE number 47619
From MaRDI portal
Publication:3998741
Recommendations
Cited in
(37)- HasCasl: integrated higher-order specification and program development
- Quasitopoi, logic and Heyting-valued models
- A characterization of quasi-toposes
- Residuated semigroups and morphological aspects of translation invariant systems
- Categorical differentiation theory and Cauchy continuity
- Reconstruction in a generalized model for translation invariant systems
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
- Presheaf models for CCS-like languages
- A survey on the categorical term construction with applications
- Functional distribution monads in functional-analytic contexts
- On bornologies, locales and toposes of \(M\)-sets
- Sobriety for equilogical spaces
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Parametrized spaces model locally constant homotopy sheaves
- Some corollaries of the correspondence between partial metrics and multivalued equalities
- Free Monoids over Semigroups in a Monoidal Category: Construction and Applications
- Birkhoff-Frink representations as functors
- Adding fuzziness to terms and powerobjects using a monadic approach
- Preordered sets valued in a GL-monoid
- scientific article; zbMATH DE number 510337 (Why is no real title available?)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- New algebras and logic from a category of rough sets
- Lectures on the Topological Vertex
- On the structure of categories of coalgebras
- Graph rewriting and relabeling with PBPO^+: a unifying theory for quasitoposes
- Morpho-logic from a topos perspective -- application to symbolic AI
- A study of algebraic structures and logics based on categories of rough sets
- Termination of graph transformation systems using weighted subgraph counting
- Fuzzy presheaves are quasitoposes
- Lexicographic sums and fibre-faithful maps
- Termination of graph transformation systems using weighted subgraph counting
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- On a generalization of Goguen's category \({\mathcal S}et(L)\)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology
- Remarks on quasi-topologies
- Implication structures, fuzzy subsets, and enriched categories
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 Q3998741)
