Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics

DOI10.1007/S11225-016-9696-6zbMath1417.03301arXiv1511.07165OpenAlexW2963098435MaRDI QIDQ2363497

Arun Kumar, Mohua Banerjee

Publication date: 19 July 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.07165

zbMATH Keywords

rough sets3-valued logicKleene algebrasperp semantics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (5)

Algebraic Representation, Dualities and Beyond ⋮ Rough set reasoning using answer set programs ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Modal systems for covering semantics and boundary operator ⋮ Stone algebras: 3-valued logic and rough sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• MV-algebras freely generated by finite Kleene algebras.
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Algebraic structures in the vicinity of pre-rough algebra and their logics
• Representation of Nelson algebras by rough sets determined by quasiorders
• Remarks on special lattices and related constructive logics with strong negation
• Negation in the context of gaggle theory
• Rough sets and 3-valued logics
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Lukasiewicz-Moisil algebras
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• A logic for rough sets
• The structure of distributive double p-algebras. Regularity and congruences
• Normal forms and truth tables for fuzzy logics
• Partiality and its dual
• Perfect extensions of regular double Stone algebras
• Positive modal logic
• A temporal semantics for nilpotent minimum logic
• Algebraic structures related to nilpotent minimum algebras and rough sets1
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Rough sets
• Rough sets and three-valued structures
• Belnap's Four-Valued Logic and De Morgan Lattices
• Defining double negation elimination
• Characterizing Belnap's Logic via De Morgan's Laws
• From Possibility Theory to Paraconsistency
• Three-Valued Logics, Uncertainty Management and Rough Sets
• The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
• Boolean elements in Lukasiewicz algebras, I
• Lattices With Involution

This page was built for publication: Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics