Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
From MaRDI portal
(Redirected from Publication:2363497)
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.
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
Cites work
- scientific article; zbMATH DE number 994054 (Why is no real title available?)
- scientific article; zbMATH DE number 53312 (Why is no real title available?)
- scientific article; zbMATH DE number 3604887 (Why is no real title available?)
- scientific article; zbMATH DE number 1136650 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- A logic for rough sets
- A temporal semantics for nilpotent minimum logic
- 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
- Algebraic structures related to nilpotent minimum algebras and rough sets
- An algebraic approach to non-classical logics
- Belnap's Four-Valued Logic and De Morgan Lattices
- Boolean elements in Lukasiewicz algebras, I
- Characterizing Belnap's Logic via De Morgan's Laws
- Defining double negation elimination
- From possibility theory to paraconsistency
- Generalized ortho negation
- Lattices With Involution
- Lukasiewicz-Moisil algebras
- MV-algebras freely generated by finite Kleene algebras.
- Negation in the context of gaggle theory
- Normal forms and truth tables for fuzzy logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Partiality and its dual
- Perfect extensions of regular double Stone algebras
- Positive modal logic
- Remarks on special lattices and related constructive logics with strong negation
- Representation of Nelson algebras by rough sets determined by quasiorders
- Rough sets
- Rough sets and 3-valued logics
- Rough sets and three-valued structures
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- The structure of distributive double p-algebras. Regularity and congruences
- Three-valued logics, uncertainty management and rough sets
Cited in
(13)- scientific article; zbMATH DE number 1136650 (Why is no real title available?)
- 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
- Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
- A study of algebraic structures and logics based on categories of 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)
