Nelson algebras, residuated lattices and rough sets: A survey (Q6497089): Difference between revisions

@@ Property / cites work @@
+Varieties of K-lattices
@@ Property / cites work: Varieties of K-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381708
@@ Property / cites work: Q4381708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126166
@@ Property / cites work: Q3126166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. II
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+Lattices and ordered algebraic structures
@@ Property / cites work: Lattices and ordered algebraic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Lukasiewicz-Moisil algebras
@@ Property / cites work: Lukasiewicz-Moisil algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A certain conception of the calculus of rough sets
+Normal rank
@@ Property / cites work @@
+The logic of distributive bilattices
@@ Property / cites work: The logic of distributive bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices with implications
@@ Property / cites work: Bilattices with implications / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzenization and decidability of some contraction-less relevant logics
+Normal rank
@@ Property / cites work @@
+Equational characterization of Nelson algebra
@@ Property / cites work: Equational characterization of Nelson algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+The subvariety of commutative residuated lattices represented by twist-products
+Normal rank
@@ Property / cites work @@
+Twist structures and Nelson conuclei
@@ Property / cites work: Twist structures and Nelson conuclei / rank @@
+Normal rank
@@ Property / cites work @@
+Product representation for default bilattices: an application of natural duality theory.
+Normal rank
@@ Property / cites work @@
+A general framework for product representations: bilattices and beyond
+Normal rank
@@ Property / cites work @@
+Natural dualities through product representations: bilattices and beyond
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The class of Kleene algebras satisfying an interpolation property and Nelson algebras
+Normal rank
@@ Property / cites work @@
+Commutative integral bounded residuated lattices with an added involution
+Normal rank
@@ Property / cites work @@
+Q4273425
@@ Property / cites work: Q4273425 / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect extensions of regular double Stone algebras
+Normal rank
@@ Property / cites work @@
+Coproducts of De Morgan algebras
@@ Property / cites work: Coproducts of De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187871
@@ Property / cites work: Q4187871 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Rough 3-valued algebras
@@ Property / cites work: Rough 3-valued algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete information: Structure, inference, complexity
+Normal rank
@@ Property / cites work @@
+A logic for rough sets
@@ Property / cites work: A logic for rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in atomic posets
@@ Property / cites work: Ideals in atomic posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156414
@@ Property / cites work: Q4156414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4170718
@@ Property / cites work: Q4170718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900028
@@ Property / cites work: Q3900028 / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between congruence-lattices and polynomial properties
+Normal rank
@@ Property / cites work @@
+Q5286156
@@ Property / cites work: Q5286156 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoop twist-structures
@@ Property / cites work: Hoop twist-structures / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165426
@@ Property / cites work: Q4165426 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3251490
@@ Property / cites work: Q3251490 / rank @@
+Normal rank
@@ Property / cites work @@
+FREGEAN VARIETIES
@@ Property / cites work: FREGEAN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780511
@@ Property / cites work: Q3780511 / rank @@
+Normal rank
@@ Property / cites work @@
+Bitopology and four-valued logic
@@ Property / cites work: Bitopology and four-valued logic / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated bilattices
@@ Property / cites work: Residuated bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities for modal N4-lattices
@@ Property / cites work: Dualities for modal N4-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory for Rough Sets
@@ Property / cites work: Lattice Theory for Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Information completeness in Nelson algebras of rough sets induced by quasiorders
+Normal rank
@@ Property / cites work @@
+Representation of Nelson algebras by rough sets determined by quasiorders
+Normal rank
@@ Property / cites work @@
+Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
+Normal rank
@@ Property / cites work @@
+REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
+Normal rank
@@ Property / cites work @@
+Defining rough sets as core-support pairs of three-valued functions
+Normal rank
@@ Property / cites work @@
+Pseudo-Kleene algebras determined by rough sets
@@ Property / cites work: Pseudo-Kleene algebras determined by rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets determined by quasiorders
@@ Property / cites work: Rough sets determined by quasiorders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856909
@@ Property / cites work: Q4856909 / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality for bilattices
@@ Property / cites work: Priestley duality for bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory of Nelson's paraconsistent logic: a uniform perspective
+Normal rank
@@ Property / cites work @@
+The structure of distributive double p-algebras. Regularity and congruences
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+On relationship between modified sets, topological spaces and rough sets
+Normal rank
@@ Property / cites work @@
+Algebras of Definable and Rough Sets in Quasi Order-based Approximation Spaces
+Normal rank
@@ Property / cites work @@
+A Semantic Analysis of Stone and Dual Stone Negations with Regularity
+Normal rank
@@ Property / cites work @@
+Q5677463
@@ Property / cites work: Q5677463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructivism based on classical truth
@@ Property / cites work: A constructivism based on classical truth / rank @@
+Normal rank
@@ Property / cites work @@
+A duality theory for bilattices
@@ Property / cites work: A duality theory for bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736159
@@ Property / cites work: Q5736159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518340
@@ Property / cites work: Q5518340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705494
@@ Property / cites work: Q3705494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770539
@@ Property / cites work: Q3770539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5747089
@@ Property / cites work: Q5747089 / rank @@
+Normal rank
@@ Property / cites work @@
+Compatibly involutive residuated lattices and the Nelson identity
+Normal rank
@@ Property / cites work @@
+Negation and Implication in Quasi-Nelson Logic
@@ Property / cites work: Negation and Implication in Quasi-Nelson Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for Nelson's logic \(\mathcal{S}\)
+Normal rank
@@ Property / cites work @@
+Nelson’s logic 𝒮
@@ Property / cites work: Nelson’s logic 𝒮 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256323
@@ Property / cites work: Q3256323 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+On the representation of \(\mathbf{N4}\)-lattices
@@ Property / cites work: On the representation of \(\mathbf{N4}\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The class of extensions of Nelson's paraconsistent logic
+Normal rank
@@ Property / cites work @@
+Transfer theorems for extensions of the paraconsistent Nelson logic
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality for paraconsistent Nelson's logic
+Normal rank
@@ Property / cites work @@
+Modal twist-structures over residuated lattices
@@ Property / cites work: Modal twist-structures over residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on special lattices and related constructive logics with strong negation
+Normal rank
@@ Property / cites work @@
+Q4892376
@@ Property / cites work: Q4892376 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4014405
@@ Property / cites work: Q4014405 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Q3222242
@@ Property / cites work: Q3222242 / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional equivalence and algebraizability of generalized logical systems
+Normal rank
@@ Property / cites work @@
+Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent Modal Logics
@@ Property / cites work: Paraconsistent Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative twist-structures
@@ Property / cites work: Implicative twist-structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869701
@@ Property / cites work: Q5869701 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of De Morgan and (semi-)Kleene lattices
+Normal rank
@@ Property / cites work @@
+Fragments of Quasi-Nelson: The Algebraizable Core
@@ Property / cites work: Fragments of Quasi-Nelson: The Algebraizable Core / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of interlaced bilattices
@@ Property / cites work: Varieties of interlaced bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Nelson algebras and fragments
@@ Property / cites work: Quasi-Nelson algebras and fragments / rank @@
+Normal rank
@@ Property / cites work @@
+A duality for two-sorted lattices
@@ Property / cites work: A duality for two-sorted lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued modal logic: Kripke semantics and duality
+Normal rank
@@ Property / cites work @@
+Quasi-Nelson; or, non-involutive Nelson algebras
@@ Property / cites work: Quasi-Nelson; or, non-involutive Nelson algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analyses of propositional systems of Fitch and Nelson
+Normal rank
@@ Property / cites work @@
+Q5184954
@@ Property / cites work: Q5184954 / rank @@
+Normal rank
@@ Property / cites work @@
+Nelson algebras through Heyting ones. I
@@ Property / cites work: Nelson algebras through Heyting ones. I / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. II
+Normal rank
@@ Property / cites work @@
+Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
+Normal rank
@@ Property / cites work @@
+On partitioning ordered sets into cofinal subsets
@@ Property / cites work: On partitioning ordered sets into cofinal subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063088
@@ Property / cites work: Q4063088 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Completion of Rough Sets System Determined by Arbitrary Binary Relations
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
+Normal rank
@@ Property / cites work @@
+A regular variety of type \(<2,2,1,1,0,0>\)
@@ Property / cites work: A regular variety of type \(<2,2,1,1,0,0>\) / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-based nonmonotonic inference
@@ Property / cites work: Semantics-based nonmonotonic inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486077
@@ Property / cites work: Q5486077 / rank @@
+Normal rank
@@ Property / cites work @@
+Covering based rough set approximations
@@ Property / cites work: Covering based rough set approximations / rank @@
+Normal rank