Nelson algebras, residuated lattices and rough sets: A survey

Cites work

A certain conception of the calculus of rough sets
A constructivism based on classical truth
A duality for two-sorted lattices
A duality theory for bilattices
A general framework for product representations: bilattices and beyond
A logic for rough sets
A regular variety of type \(<2,2,1,1,0,0>\)
A semantic analysis of Stone and dual Stone negations with regularity
Algebra of rough sets based on quasi order
Algebraic Analysis of Many Valued Logics
Algebraic semantics for Nelson's logic \(\mathcal{S}\)
Algebraic Semantics for Paraconsistent Nelson's Logic
Algebraizable logics
Algebras of definable and rough sets in quasi order-based approximation spaces
An algebraic approach to non-classical logics
Belnap's Four-Valued Logic and De Morgan Lattices
Bilattices with implications
Bitopology and four-valued logic
Commutative integral bounded residuated lattices with an added involution
Compatibly involutive residuated lattices and the Nelson identity
Connections between congruence-lattices and polynomial properties
Constructible falsity
Constructible falsity and inexact predicates
Constructive logic with strong negation is a substructural logic. I
Constructive logic with strong negation is a substructural logic. II
Constructive negations and paraconsistency
Continuous Lattices and Domains
Coproducts of De Morgan algebras
Covering based rough set approximations
Defining rough sets as core-support pairs of three-valued functions
Definitional equivalence and algebraizability of generalized logical systems
Dualities for modal N4-lattices
Equational characterization of Nelson algebra
Four-valued modal logic: Kripke semantics and duality
Fragments of quasi-Nelson: the algebraizable core
Fragments of quasi-Nelson: two negations
FREGEAN VARIETIES
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
Gentzenization and decidability of some contraction-less relevant logics
Hoop twist-structures
scientific article; zbMATH DE number 994054 (Why is no real title available?)
scientific article; zbMATH DE number 3887682 (Why is no real title available?)
scientific article; zbMATH DE number 3887755 (Why is no real title available?)
scientific article; zbMATH DE number 3134289 (Why is no real title available?)
scientific article; zbMATH DE number 3135140 (Why is no real title available?)
scientific article; zbMATH DE number 3139759 (Why is no real title available?)
scientific article; zbMATH DE number 3931080 (Why is no real title available?)
scientific article; zbMATH DE number 4029565 (Why is no real title available?)
scientific article; zbMATH DE number 4043327 (Why is no real title available?)
scientific article; zbMATH DE number 3708357 (Why is no real title available?)
scientific article; zbMATH DE number 3751028 (Why is no real title available?)
scientific article; zbMATH DE number 68517 (Why is no real title available?)
scientific article; zbMATH DE number 3463628 (Why is no real title available?)
scientific article; zbMATH DE number 3480517 (Why is no real title available?)
scientific article; zbMATH DE number 3501559 (Why is no real title available?)
scientific article; zbMATH DE number 3582215 (Why is no real title available?)
scientific article; zbMATH DE number 3588632 (Why is no real title available?)
scientific article; zbMATH DE number 3598538 (Why is no real title available?)
scientific article; zbMATH DE number 3604887 (Why is no real title available?)
scientific article; zbMATH DE number 3625460 (Why is no real title available?)
scientific article; zbMATH DE number 475188 (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 823454 (Why is no real title available?)
scientific article; zbMATH DE number 927107 (Why is no real title available?)
scientific article; zbMATH DE number 3893260 (Why is no real title available?)
scientific article; zbMATH DE number 223576 (Why is no real title available?)
scientific article; zbMATH DE number 5051667 (Why is no real title available?)
scientific article; zbMATH DE number 3230226 (Why is no real title available?)
scientific article; zbMATH DE number 3245483 (Why is no real title available?)
scientific article; zbMATH DE number 3335866 (Why is no real title available?)
scientific article; zbMATH DE number 3412605 (Why is no real title available?)
scientific article; zbMATH DE number 3199780 (Why is no real title available?)
Ideals in atomic posets
Implicative twist-structures
Incomplete information: Structure, inference, complexity
Information completeness in Nelson algebras of rough sets induced by quasiorders
Lattice Theory for Rough Sets
Lattices and ordered algebraic structures
Lukasiewicz-Moisil algebras
Modal twist-structures over residuated lattices
Monteiro spaces and rough sets determined by quasiorder relations: models for Nelson algebras
Natural dualities through product representations: bilattices and beyond
Negation and Implication in Quasi-Nelson Logic
Nelson algebras through Heyting ones. I
Nelson's logic \(\mathcal{S}\)
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
Notes on \(\eta\)-lattices and constructive logic with strong negation
On partitioning ordered sets into cofinal subsets
On relationship between modified sets, topological spaces and rough sets
On the completion of rough sets system determined by arbitrary binary relations
On the representation of \(\mathbf{N4}\)-lattices
On the structure of varieties with equationally definable principal congruences. II
On the structure of varieties with equationally definable principal congruences. III
On the theory of inconsistent formal systems
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Paraconsistent modal logics
Perfect extensions of regular double Stone algebras
Priestley duality for bilattices
Priestley duality for paraconsistent Nelson's logic
Product representation for default bilattices: an application of natural duality theory.
Proof theory of Nelson's paraconsistent logic: a uniform perspective
Pseudo-Kleene algebras determined by rough sets
Quasi-Nelson algebras and fragments
Quasi-Nelson; or, non-involutive Nelson algebras
Remarks on special lattices and related constructive logics with strong negation
Representation of De Morgan and (semi-)Kleene lattices
Representation of Distributive Lattices by means of ordered Stone Spaces
Representation of Nelson algebras by rough sets determined by quasiorders
REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
Residuated bilattices
Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
Rough 3-valued algebras
Rough sets
Rough sets determined by quasiorders
Semantical analyses of propositional systems of Fitch and Nelson
Semantics-based nonmonotonic inference
The class of extensions of Nelson's paraconsistent logic
The class of Kleene algebras satisfying an interpolation property and Nelson algebras
The logic of distributive bilattices
The structure of distributive double p-algebras. Regularity and congruences
The subvariety of commutative residuated lattices represented by twist-products
Transfer theorems for extensions of the paraconsistent Nelson logic
Twist structures and Nelson conuclei
Varieties of interlaced bilattices
Varieties of K-lattices
Varieties with equationally definable principal congruences

Cited in

(4)

A study of rough inclusion on algebras with quasi-Boolean base
Gates and circuits via Dunn semantics
The structure of rough sets defined by reflexive relations
Further studies on abstract rough inclusion properties

This page was built for publication: Nelson algebras, residuated lattices and rough sets: A survey

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