Classical Bivalent Logic as a Particular Case of Canonical Fuzzy Logic

Osvaldo Skliar; Sherry Gapper; Ricardo E. Monge

Home/Archive/arXiv

arXiv · 2303.05925

Classical Bivalent Logic as a Particular Case of Canonical Fuzzy Logic

Osvaldo Skliar·Sherry Gapper·Ricardo E. Monge

View original source ↗Read source document ↗Export metadata ↓

Abstract

A review is presented of the correspondence existing in both classical bivalent logic (BL) and canonical fuzzy logic (CFL) between each law or tautology in propositional calculus and a law in set theory. The latter law consists of the equality of a) a set whose structure is isomorphic to the law considered in propositional calculus and b) the universal set. In addition to the operations of CFL considered previously by the authors, initial attention is given to the operations with infinite sets by considering two of them: the union of sets and the intersection of sets. Attention is also given to how propositional calculus in BL can be considered a particular case of propositional calculus in CFL, and how the theory of classical sets can be considered a particular case of the theory of fuzzy sets according to CFL.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Osvaldo Skliar, Sherry Gapper, Ricardo E. Monge. 2023-02-20. Classical Bivalent Logic as a Particular Case of Canonical Fuzzy Logic. https://arxiv.org/abs/2303.05925

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

KEEP EXPLORING

Related papers

arXiv2026

Quelques remarques sur les vari{é}t{é}s, fonctions de Green et formule de Stokes

We give some remarks on some manifolds K3 surfaces, Complex projective spaces, real projective space and Torus and the classification of two dimensional Riemannian surfaces, Green functions and the Stokes formula. We also, talk about traces of Sobolev spaces, the distance function, the notion of degree and a duality theorem, the variational formulation and conformal map in dimension 2, the metric on the boundary of a Lipschitz domain and polar geodesic coordinates and the Gauss-Bonnet formula and the positive mass theorem in dimension $ \geq 3 $ and in the flat and non flat case. And the Ricci flow. And fields and their relation to the equations.And obstructions in astronomy. And on strings, superstrings and D-branes. And topological solutions in the negative case, critical, supercritical and superstrings and symmetry. And geometrization. And Decision problem, SAT problem and p=np problem.

math.GM↗

arXiv2026

Counting Truchet Tile Balls

A formula is established that counts the number of different balls that can be made by decorating the pentagons and hexagons of a classic football with Truchet-like patterns.

math.GM↗

arXiv2026

A Theory of Scales and Orbit Covers

This paper develops a formal theory of musical scales and their harmonic coverings and introduces orbit covers: coverings obtained by translating a fixed subset across a scale via a group action. Orbit covers generalize familiar constructions, such as the covering of the diatonic scale by tertian triads, and are motivated by the search for a generalized harmonic framework extending common-practice tonality. We model modes as group structures associated with pitch-class sets and scales as torsors, introducing scale covers and, in particular, orbit covers. To each orbit cover we associate a nerve complex encoding its intersection structure and associated topological invariants. We classify triadic orbit covers of heptatonic scales up to affine symmetry and nerve isomorphism. These results support a broader theory of harmonic organization with analytical and compositional applications.

math.GM↗