Cover Image

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Järvinen, Jouni, Kondo, Michiro
Format:	Preprint
Published:	2023
Subjects:	Rings and Algebras Logic in Computer Science 06D72
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The structure of rough sets defined by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2024)

Kleene and Stone algebras of rough sets induced by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2026)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

Colimits of Heyting Algebras through Esakia Duality
by: Almeida, Rodrigo Nicolau
Published: (2024)

Trees and spectra of Heyting algebras
by: Fornasiere, Damiano, et al.
Published: (2024)

L-algebras and their ideals: from simplicity to semidirect products
by: Properzi, Silvia, et al.
Published: (2025)

Direct and ordinal products realized by triangular norm operators with no zero divisors
by: McDonald, Joseph
Published: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Foulis m-semilattices and their modules
by: Botur, Michal, et al.
Published: (2025)

When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)

Computational and Categorical Frameworks of Finite Ternary $Γ$-Semirings: Foundations, Algorithms, and Industrial Modeling Applications
by: Gokavarapu, Chandrasekhar, et al.
Published: (2025)

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

Application of Hohle's Square Roots on Hoop Algebras
by: Madanshekaf, Ali, et al.
Published: (2024)

Semilinear idempotent distributive l-monoids
by: Santschi, Simon
Published: (2022)

A new proof of Funayama's theorem
by: Bezhanishvili, Guram, et al.
Published: (2026)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
by: del Barco, Viviana, et al.
Published: (2025)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
by: Feller, Roman, et al.
Published: (2024)

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
by: Bolan, Matthew, et al.
Published: (2025)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
by: Baek, Jineon, et al.
Published: (2024)

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)

Formal Concepts and Residuation on Multilattices
by: Njionou, Blaise B. Koguep, et al.
Published: (2020)

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
by: Linzi, Alessandro
Published: (2025)

Invariants for metrisable locally compact Boolean spaces
by: Apps, Andrew B.
Published: (2025)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Partitions of primitive Boolean spaces
by: Apps, Andrew B.
Published: (2023)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
by: Zhuk, Dmitriy
Published: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
by: Bodirsky, Manuel, et al.
Published: (2024)

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

A formal Lie correspondence
by: Bagayoko, Vincent
Published: (2026)

Degenerations of 3-dimensional nilpotent associative algebras over an algebraically closed field
by: Ivanova, N. M., et al.
Published: (2023)

Some applications of finite BL-algebras
by: Flaut, Cristina, et al.
Published: (2025)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)