Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.2161

Algebraic hierarchy of logics unifying fuzzy logic and quantum logic

Andreas de Vries
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, a short survey about the concepts underlying general logics is given. In particular, a novel rigorous definition of a fuzzy negation as an operation acting on a lattice to render it into a fuzzy logic is presented. According to this definition, a fuzzy negation satisfies the weak double negation condition, requiring double negation to be expansive, the antitony condition, being equivalent to the disjunctive De Morgan law and thus warranting compatibility of negation with the lattice operations, and the Boolean boundary condition stating that the universal bounds of the lattice are the negation of each other. From this perspective, the most general logics are fuzzy logics, containing as special cases paraconsistent (quantum) logics, quantum logics, intuitionistic logics, and Boolean logics, each of which given by its own algebraic restrictions. New examples of a non-contradictory logic violating the conjunctive De Morgan law, and of a typical non-orthomodular fuzzy logic along with its explicit lattice representation are given.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andreas de Vries. 2007-07-14. Algebraic hierarchy of logics unifying fuzzy logic and quantum logic. https://arxiv.org/abs/0707.2161

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Freely adding one layer of quantifiers to a Boolean doctrine

We describe the layer of quantifier alternation depth at most one of the quantifier completion of a Boolean doctrine over a small category. This amounts to a doctrinal version of Herbrand's theorem for formulas with quantifier alternation depth at most one modulo a universal theory. The resulting construction satisfies a universal property that makes it the free QA-one-step Boolean doctrine. To achieve this version of Herbrand's theorem, we characterize, within the doctrinal setting, the classes $A$ of quantifier-free formulas for which there is a model $M$ such that $A$ is precisely the class of formulas whose universal closure is valid in $M$.

math.LO↗
arXiv2026

Generalized Borel Sets

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable cardinal $κ$, possibly singular, satisfying $2^{<κ}=κ$. We provide fundamental properties of the $κ^+$-Borel hierarchy of any regular Hausdorff space of weight at most $κ$, and establish sufficient conditions for its non-collapse. We highlight a unique phenomenon that arises in the case of singular cardinals, namely, the existence of a second, distinct Borel hierarchy, the $κ$-Borel hierarchy: we prove that it is strictly finer than the $κ^+$-Borel hierarchy, and then characterize the precise relationship between the two. Finally, for regular cardinals, we resolve three questions about the behavior of the $κ^+$-Borel hierarchy on subspaces of the generalized Baire space ${}^κκ$, constructing various models via forcing where several nontrivial constellations for the length of the $κ^+$-Borel hierarchy on the space are realized.

math.LO↗
arXiv2026

The complexity of being monitorable

We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$. When $X$ is second countable, we observe that the family of monitorable sets is $Π^0_3$ and determine the exact complexities it can have. In contrast, we show that if $X$ is not second countable then the family of monitorable sets can be much more complex, giving an example where it is $ Π^1_1$-complete.

math.LO↗