๐ฎ
๐ฎ
The Ethereal
Bitopological Duality for Algebras of Fittings logic and Natural Duality extension
December 11, 2019 ยท The Ethereal ยท ๐ Acta Informatica
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Litan Kumar Das, Kumar Sankar Ray
arXiv ID
1912.12223
Category
cs.LO: Logic in CS
Cross-listed
cs.AI
Citations
1
Venue
Acta Informatica
Last Checked
5 months ago
Abstract
In this paper, we investigate a bitopological duality for algebras of Fitting's multi-valued logic. We also extend the natural duality theory for $\mathbb{ISP_I}(\mathcal{L})$ by developing a duality for $\mathbb{ISP}(\mathcal{L})$, where $\mathcal{L}$ is a finite algebra in which underlying lattice is bounded distributive.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal