Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
From MaRDI portal
Publication:2363497
DOI10.1007/S11225-016-9696-6zbMATH Open1417.03301arXiv1511.07165OpenAlexW2963098435MaRDI QIDQ2363497FDOQ2363497
Authors: Arun Kumar, Mohua Banerjee 
Publication date: 19 July 2017
Published in: Studia Logica (Search for Journal in Brave)
Abstract: A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets. Further, we show that negation with the Kleene property (called the `Kleene negation') always arises from the set theoretic complement. The corresponding propositional logic is then studied through a 3-valued and rough set semantics. It is also established that Kleene negation can be considered as a modal operator, and enables giving a perp semantics to the logic. One concludes with the observation that all the semantics for this logic are equivalent.
Full work available at URL: https://arxiv.org/abs/1511.07165
Recommendations
- A study of algebras and logics of rough sets based on classical and generalized approximation spaces
- Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
- scientific article; zbMATH DE number 167214
- scientific article; zbMATH DE number 2217307
- scientific article; zbMATH DE number 856945
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)
Cites Work
- Rough sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Positive modal logic
- Negation in the context of gaggle theory
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- An algebraic approach to non-classical logics
- Lattices With Involution
- Belnap's Four-Valued Logic and De Morgan Lattices
- Title not available (Why is that?)
- A logic for rough sets
- Title not available (Why is that?)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- Lukasiewicz-Moisil algebras
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Partiality and its dual
- Rough sets and three-valued structures
- Representation of Nelson algebras by rough sets determined by quasiorders
- Remarks on special lattices and related constructive logics with strong negation
- MV-algebras freely generated by finite Kleene algebras.
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- Title not available (Why is that?)
- Boolean elements in Lukasiewicz algebras, I
- Rough sets and 3-valued logics
- Algebraic structures in the vicinity of pre-rough algebra and their logics
- Three-valued logics, uncertainty management and rough sets
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- Defining double negation elimination
- The structure of distributive double p-algebras. Regularity and congruences
- Normal forms and truth tables for fuzzy logics
- Perfect extensions of regular double Stone algebras
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- Characterizing Belnap's Logic via De Morgan's Laws
- Generalized ortho negation
- Title not available (Why is that?)
- From possibility theory to paraconsistency
- A temporal semantics for nilpotent minimum logic
- Algebraic structures related to nilpotent minimum algebras and rough sets
Cited In (13)
- Title not available (Why is that?)
- A study of rough inclusion on algebras with quasi-Boolean base
- Defining rough sets as core-support pairs of three-valued functions
- Modal systems for covering semantics and boundary operator
- Rough set reasoning using answer set programs
- Affine completeness of Kleene algebras
- A study of algebras and logics of rough sets based on classical and generalized approximation spaces
- Stone algebras: 3-valued logic and rough sets
- Some algebras and logics from quasiorder-generated covering-based approximation spaces
- A study of algebraic structures and logics based on categories of rough sets
- Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
- Zdzisław Pawlak and our journey with rough sets
- Algebraic representation, dualities and beyond
This page was built for publication: Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363497)
