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

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

Latest revision as of 14:08, 3 December 2024

scientific article; zbMATH DE number 7842749
Language Label Description Also known as
English
Nelson algebras, residuated lattices and rough sets: A survey
scientific article; zbMATH DE number 7842749

    Statements

    Nelson algebras, residuated lattices and rough sets: A survey (English)
    0 references
    0 references
    0 references
    0 references
    6 May 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers