scientific article; zbMATH DE number 3645093
From MaRDI portal
Publication:3050433
Cited in
(only showing first 100 items - show all)- Completion of L-fuzzy relations
- Boolean combinations of monadic formulas
- On some non-classical extensions of second-order intuitionistic propositional calculus
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- Arithmetic transfinite induction and recursive well-orderings
- Sheaves over Heyting lattices
- Quasitopoi, logic and Heyting-valued models
- Lindenbaum algebras of intuitionistic theories and free categories
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
- Generalized algebraic theories and contextual categories
- Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Quotients with respect to similarity relations
- Is the category JTF a topos?
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- Categories, toposes and sets
- The logic of approximation in quantum theory
- Sheaves on sites as Cauchy-complete categories
- The World's simplest axiom of choice fails
- Fuzzy sets in topoi
- Fuzzy sets do not form a topos
- A survey of fuzzy set and topos theory
- Constructive \(\lambda\)-models
- Some purely topological models for intuitionistic analysis
- Proper maps of locales
- A sheaf model for intuitionistic quantum mechanics
- Classifying toposes for first-order theories
- Liminf convergence in \(\Omega\)-categories
- \(E\)-fuzzy groups
- Cut approach to invariance groups of lattice-valued functions
- A semantic hierarchy for intuitionistic logic
- Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
- A semantical proof of De Jongh's theorem
- Global intuitionistic analysis
- The logical quantization of algebraic groups
- Generalized logic and the representation of rings
- \(\Omega\)-lattices
- \( \Omega \)-groups in the language of \(\Omega \)-groupoids
- Solving linear equations by fuzzy quasigroups techniques
- Quantale-valued dissimilarity
- Generalising the étale groupoid-complete pseudogroup correspondence
- Weak logic theory
- Foundations of fuzzy sets
- L-equivalence relations on L-fuzzy sets, L-partitions of L-fuzzy sets and their one-to-one connections
- A study on the relationship between relaxed metrics and indistinguishability operators
- Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
- Quadratic form theory over preordered von Neumann-regular rings
- On the collection of points of a formal space
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- Diego's theorem for nuclear implicative semilattices
- Quantum set theory: transfer principle and De Morgan's laws
- Tameness in generalized metric structures
- Some corollaries of the correspondence between partial metrics and multivalued equalities
- Sheaves on involutive quantales: Grothendieck quantales.
- Quantale-valued preorders: globalization and cocompleteness.
- Neighborhood-sheaf semantics for first-order modal logic
- Implementing local intervals in CASL
- Logic in category theory
- On Tarski’s fixed point theorem
- Many-valued preorders. II: The symmetry axiom and probabilistic geometry
- Degrees of unsolvability: a tutorial
- Three lessons on the topological and algebraic hidden core of rough set theory
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- scientific article; zbMATH DE number 3901609 (Why is no real title available?)
- scientific article; zbMATH DE number 3773851 (Why is no real title available?)
- scientific article; zbMATH DE number 3779586 (Why is no real title available?)
- The order-theoretic duality and relations between partial metrics and local equalities
- Preordered sets valued in a GL-monoid
- Topological inductive definitions
- The number of countable models in realizability toposes
- Cubical type theory: a constructive interpretation of the univalence axiom
- Orthomodular-valued models for quantum set theory
- R n - and G n -logics
- Fibrations and recursivity
- The universe of discourse of modal logic
- Aspects of categorical recursion theory
- Normal Ω-subgroups
- Separating the fan theorem and its weakenings. II
- Ω-lattices from skew lattices
- Quantified intuitionistic logic over metrizable spaces
- A non-commutative and non-idempotent theory of quantale sets
- Positive definite functions over regular f-rings and representations as sums of squares
- Diagonals between \(\mathcal{Q}\)-distributors
- Omega-rings
- Solutions of matrix equations with weak fuzzy equivalence relations
- Injective symmetric quantaloid-enriched categories
- Towards a sheaf semantics for cooperating agents scenarios
- Groupoid sheaves as quantale sheaves
- Cartesian closed varieties. I: The classification theorem
- Lewisian fixed points. I: Two incomparable constructions
- Filtral pretoposes and compact Hausdorff locales
- Rarity rankings of NFTs and other collectables
- Quantum set theory: quantum conditionals and order of observables
- \( \mathsf{Q}\)-\(\mathbf{Set}\) is not generally a topos
- Fuzzy Green's relations and its applications in E-fuzzy semigroups
- P-sets
- Boolean valued models, sheafifications, and Boolean ultrapowers of Tychonoff spaces
- On sheaves on semicartesian quantales and their truth values
- The powerset monad on quantale-valued sets
- A natural interpretation of fuzzy sets and fuzzy relations
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)
