scientific article; zbMATH DE number 3645093
From MaRDI portal
Publication:3050433
Cited in
(only showing first 100 items - show all)- Tameness in generalized metric structures
- Arithmetic transfinite induction and recursive well-orderings
- Sheaves over Heyting lattices
- Implementing local intervals in CASL
- Degrees of unsolvability: a tutorial
- Aspects of categorical recursion theory
- Three lessons on the topological and algebraic hidden core of rough set theory
- A sheaf model for intuitionistic quantum mechanics
- Is the category JTF a topos?
- Monadic bounded algebras
- On Tarski’s fixed point theorem
- Separating the fan theorem and its weakenings. II
- A study on the relationship between relaxed metrics and indistinguishability operators
- Solutions of matrix equations with weak fuzzy equivalence relations
- Generalising the étale groupoid-complete pseudogroup correspondence
- The World's simplest axiom of choice fails
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- Quadratic form theory over preordered von Neumann-regular rings
- Quantale-valued dissimilarity
- Lindenbaum algebras of intuitionistic theories and free categories
- Towards a sheaf semantics for cooperating agents scenarios
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- A natural interpretation of fuzzy sets and fuzzy relations
- Monoidal closed categories, weak topoi and generalized logics
- A semantic hierarchy for intuitionistic logic
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- Fibrations and recursivity
- Classifying toposes for first-order theories
- Notions of computation and monads
- Quantale-valued preorders: globalization and cocompleteness.
- Sheaves on involutive quantales: Grothendieck quantales.
- Some corollaries of the correspondence between partial metrics and multivalued equalities
- scientific article; zbMATH DE number 3779586 (Why is no real title available?)
- Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry
- The order-theoretic duality and relations between partial metrics and local equalities
- Preordered sets valued in a GL-monoid
- Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
- Well-foundedness in realizability
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
- The logical quantization of algebraic groups
- A non-commutative and non-idempotent theory of quantale sets
- Quotients with respect to similarity relations
- Groupoid sheaves as quantale sheaves
- When does a category built on a lattice with a monoidal structure have a monoidal structure?
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Topoi and categories of fuzzy sets
- Positive definite functions over regular f-rings and representations as sums of squares
- Q-*-categories
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- Fuzzy sets and sheaves. I: Basic concepts
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- Many-valued preorders. II: The symmetry axiom and probabilistic geometry
- Sheaves as modules
- Global intuitionistic analysis
- R n - and G n -logics
- Generalized algebraic theories and contextual categories
- A survey of fuzzy set and topos theory
- Sheaves on sites as Cauchy-complete categories
- Fuzzy sets do not form a topos
- Sheaf models for choice sequences
- Some purely topological models for intuitionistic analysis
- Topological inductive definitions
- Topological aspects of non-convergent sequences -- a comment on Burgin's concept of fuzzy limits
- Liminf convergence in \(\Omega\)-categories
- Normal Ω-subgroups
- Cartesian closed varieties. I: The classification theorem
- \( \Omega \)-groups in the language of \(\Omega \)-groupoids
- The number of countable models in realizability toposes
- Weak logic theory
- Lewisian fixed points. I: Two incomparable constructions
- Categories, toposes and sets
- Diego's theorem for nuclear implicative semilattices
- Solving linear equations by fuzzy quasigroups techniques
- Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
- Logic in category theory
- A new model for intuitionistic analysis
- Orthomodular-valued models for quantum set theory
- Completions of cut systems in \(Q\)-sets
- Isomorphisms and functors of fuzzy sets and cut systems
- The logic of approximation in quantum theory
- Quantum set theory: transfer principle and De Morgan's laws
- Filtral pretoposes and compact Hausdorff locales
- Diagonals between \(\mathcal{Q}\)-distributors
- Proper maps of locales
- The universe of discourse of modal logic
- scientific article; zbMATH DE number 3773851 (Why is no real title available?)
- Neighborhood-sheaf semantics for first-order modal logic
- \(\Omega\)-lattices
- \(E\)-fuzzy groups
- Omega-rings
- Foundations of fuzzy sets
- L-equivalence relations on L-fuzzy sets, L-partitions of L-fuzzy sets and their one-to-one connections
- Fuzzy sets in topoi
- scientific article; zbMATH DE number 3901609 (Why is no real title available?)
- A semantical proof of De Jongh's theorem
- On the collection of points of a formal space
- Quasitopoi, logic and Heyting-valued models
- Elementary inductive definitions in HA: From strictly positive towards monotone
- Constructive \(\lambda\)-models
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 Q3050433)
