Cover Image

Kleene and Stone algebras of rough sets induced by reflexive relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Järvinen, Jouni, Radeleczki, Sándor
Format:	Preprint
Published:	2026
Subjects:	Rings and Algebras Logic in Computer Science Primary 68T37, 06D30, Secondary 06B23, 03E20
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)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Generalized Higman's Theorem and iterated ideals
by: Pakhomov, Fedor, et al.
Published: (2025)

Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
by: Järvinen, Jouni, et al.
Published: (2023)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

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

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Almost refinement, reaping, and ultrafilter numbers
by: Brendle, Jörg, et al.
Published: (2024)

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

Scale-valued sets: a minimal framework for generalized set models
by: Ray, S.
Published: (2026)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

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

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
by: Cintioli, Patrizio
Published: (2026)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

Squares, scales and lines
by: Cummings, James
Published: (2025)

Generalized sums of linear orders
by: Ramos, Álvaro Díaz, et al.
Published: (2025)

Reconstructing Classical Algebras via Ternary Operations
by: Fatelo, Jorge, et al.
Published: (2024)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
by: Gardiner, Lyra A., et al.
Published: (2026)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

Projectable reduced $f$-rings admitting elimination of quantifiers
by: Guier, Jorge I.
Published: (2026)

Forking and invariant types in regular ordered Abelian groups
by: Hossain, Akash
Published: (2023)

Subgroups of Cyclically Amalgamated Free Products
by: Kreuzer, Martin, et al.
Published: (2025)