A semantic analysis of Stone and dual Stone negations with regularity

DOI10.1007/978-3-662-54069-5_11zbMATH Open1485.03020OpenAlexW2558470815MaRDI QIDQ5224497FDOQ5224497

Authors: Arun Kumar, Mohua Banerjee 

Publication date: 24 July 2019

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54069-5_11

Recommendations

• Discrete dualities for double Stone algebras
• A study of algebras and logics of rough sets based on classical and generalized approximation spaces
• Double negation operator in logic \(N^*\)
• Distributive Lattices with a Negation Operator
• Polarity semantics for negation as a modal operator

zbMATH Keywords

regular double Stone algebrasperp semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Lattices and duality (06D50)

Cites Work

• Rough sets
• Positive modal logic
• Negation in the context of gaggle theory
• A regular variety of type \(<2,2,1,1,0,0>\)
• Propositional Logics from Rough Set Theory
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Defining double negation elimination
• Perfect extensions of regular double Stone algebras
• Generalized ortho negation

Cited In (3)

• Stone algebras: 3-valued logic and rough sets
• Defining double negation elimination
• Nelson algebras, residuated lattices and rough sets: A survey

This page was built for publication: A semantic analysis of Stone and dual Stone negations with regularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224497)