On the public citation graph
Nelson algebras through Heyting ones: I
0 signed · 77 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00394448openalex-snapshot
The Craig interpolation theorem for prepositional logics with strong negation
inferredcites →https://doi.org/10.1007/bf01230621openalex-snapshot
The class of Kleene algebras satisfying an interpolation property and Nelson algebras
inferredcites →https://doi.org/10.1007/bf02121118openalex-snapshot
Notes on N-lattices and constructive logic with strong negation
inferredcites →https://doi.org/10.1007/bf02429842openalex-snapshot
Some investigations of varieties ofN-lattices-lattices
inferredcites →https://doi.org/10.1016/0016-660x(71)90106-1openalex-snapshot
Top categories and categorical topology
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1016/s0304-0208(08)73814-3openalex-snapshot
Ordered Sets and Duality for Distributive Lattices
inferredcites →https://doi.org/10.1017/s1446788700012131openalex-snapshot
Coproducts of Kleene algebras
inferredcites →https://doi.org/10.1093/qmath/26.1.215openalex-snapshot
THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
inferredcites →https://doi.org/10.1112/blms/2.2.186openalex-snapshot
Representation of Distributive Lattices by means of ordered Stone Spaces
inferredcites →https://doi.org/10.1112/jlms/s1-41.1.572openalex-snapshot
THE MATHEMATICS OF METAMATHEMATICS
inferredcites →https://doi.org/10.1112/plms/s3-24.3.507openalex-snapshot
Ordered Topological Spaces and the Representation of Distributive Lattices
inferredcites →https://doi.org/10.3792/pja/1195521624openalex-snapshot
Caracterisation des algèbres de Nelson par des egalités, I
inferredcites →https://doi.org/10.3792/pja/1195521625openalex-snapshot
Caracterisation des algèbres de Nelson par des egalités, II
inferredcites →https://doi.org/10.4064/cm-6-1-287-310openalex-snapshot
On constructible falsity in the constructive logic with strong negation
inferredcites →https://doi.org/10.4064/fm-46-1-61-80openalex-snapshot
N-lattices and constructive logic with strong negation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-1-4471-3238-7_27openalex-snapshot
A Pure Logic-algebraic Analysis of Rough Top and Rough Bottom Equalities
inferred← citeshttps://doi.org/10.1007/978-3-030-01162-8_4openalex-snapshot
Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-29566-0_2openalex-snapshot
Overview of Rough Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-52163-9_8openalex-snapshot
Quasi-Nelson; Or, Non-involutive Nelson Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-25754-9_4openalex-snapshot
Rough Sets - Past, Present and Future: Some Notes
inferred← citeshttps://doi.org/10.1007/978-3-319-72691-5_4openalex-snapshot
Logical Characterizations of Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_13openalex-snapshot
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_27openalex-snapshot
Algebraic Semantics for Quasi-Nelson Logic
inferred← citeshttps://doi.org/10.1007/978-3-7908-1888-8_6openalex-snapshot
Rough Set Theory and Logic-Algebraic Structures
inferred← citeshttps://doi.org/10.1007/bf01057804openalex-snapshot
Axiomatic extensions of the constructive logic with strong negation and the disjunction property
inferred← citeshttps://doi.org/10.1007/s00012-014-0265-4openalex-snapshot
The subvariety of commutative residuated lattices represented by twist-products
inferred← citeshttps://doi.org/10.1007/s00012-014-0272-5openalex-snapshot
Implicative twist-structures
inferred← citeshttps://doi.org/10.1007/s00500-018-3588-9openalex-snapshot
Compatibly involutive residuated lattices and the Nelson identity
inferred← citeshttps://doi.org/10.1007/s00500-020-04885-wopenalex-snapshot
Representation of De Morgan and (Semi-)Kleene Lattices
inferred← citeshttps://doi.org/10.1007/s00500-021-06198-yopenalex-snapshot
A categorial equivalence for semi-Nelson algebras
inferred← citeshttps://doi.org/10.1007/s10469-006-0021-8openalex-snapshot
Transfer theorems for extensions of the paraconsistent Nelson logic
inferred← citeshttps://doi.org/10.1007/s10992-011-9185-3openalex-snapshot
Partially Undetermined Many-Valued Events and Their Conditional Probability
inferred← citeshttps://doi.org/10.1007/s11202-007-0012-6openalex-snapshot
On extensions of Nelson’s logic satisfying Dummett’s axiom
inferred← citeshttps://doi.org/10.1007/s11225-005-8476-5openalex-snapshot
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation
inferred← citeshttps://doi.org/10.1007/s11225-006-9004-yopenalex-snapshot
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation
inferred← citeshttps://doi.org/10.1007/s11225-009-9163-8openalex-snapshot
Behavioral Algebraization of Logics
inferred← citeshttps://doi.org/10.1007/s11225-010-9274-2openalex-snapshot
Priestley Duality for Paraconsistent Nelson’s Logic
inferred← citeshttps://doi.org/10.1007/s11225-012-9421-zopenalex-snapshot
Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders
inferred← citeshttps://doi.org/10.1007/s11225-015-9632-1openalex-snapshot
A Categorical Equivalence Motivated by Kalman’s Construction
inferred← citeshttps://doi.org/10.1007/s11225-020-09907-0openalex-snapshot
An Algebraic Study of Tense Operators on Nelson Algebras
inferred← citeshttps://doi.org/10.1007/s11225-021-09960-3openalex-snapshot
A Categorical Equivalence for Tense Nelson Algebras
inferred← citeshttps://doi.org/10.1007/s11225-022-09988-zopenalex-snapshot
Twist Structures and Nelson Conuclei
inferred← citeshttps://doi.org/10.1007/s11225-022-10013-6openalex-snapshot
Discrete Duality for Nelson Algebras with Tense Operators
inferred← citeshttps://doi.org/10.1007/s11225-023-10065-2openalex-snapshot
Intuitionistic Modal Algebras
inferred← citeshttps://doi.org/10.1007/s11225-025-10179-9openalex-snapshot
Heyting Algebras with Kalman-Galois Connections
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50025-7openalex-snapshot
Logically Possible Worlds and Counterpart Semantics for Modal Logic
inferred← citeshttps://doi.org/10.1016/j.fss.2024.109170openalex-snapshot
Subresiduated Nelson algebras
inferred← citeshttps://doi.org/10.1016/j.ijar.2013.12.005openalex-snapshot
Rough sets determined by tolerances
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103196openalex-snapshot
Specification of paraconsistent transition systems, revisited
inferred← citeshttps://doi.org/10.1023/a:1004222213212openalex-snapshot
On Extensions of Intermediate Logics by Strong Negation
inferred← citeshttps://doi.org/10.1023/a:1008286102793openalex-snapshot
Information Gaps as Communication Needs: A New Semantic Foundation for Some Non-Classical Logics
inferred← citeshttps://doi.org/10.1023/b:stud.0000032104.14199.08openalex-snapshot
On the Representation of N4-Lattices
inferred← citeshttps://doi.org/10.1080/11663081.1999.10510967openalex-snapshot
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
inferred← citeshttps://doi.org/10.1080/11663081.2023.2203312openalex-snapshot
Fragments of quasi-Nelson: residuation
inferred← citeshttps://doi.org/10.1080/11663081.2024.2336386openalex-snapshot
Nelson algebras, residuated lattices and rough sets: A survey
inferred← citeshttps://doi.org/10.1080/11663081.2025.2500282openalex-snapshot
Pastable Kleene-based algebras
inferred← citeshttps://doi.org/10.1093/jigpal/11.6.615openalex-snapshot
Kripke Completeness of First-Order Constructive Logics with Strong Negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzag039openalex-snapshot
Tense operators on Kleene algebras with intuitionistic negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzz030openalex-snapshot
Dually hemimorphic semi-Nelson algebras
inferred← citeshttps://doi.org/10.1093/logcom/exab029openalex-snapshot
Logics of formal inconsistency based on distributive involutive residuated lattices
inferred← citeshttps://doi.org/10.1093/logcom/exn081openalex-snapshot
Constructive Logic with Strong Negation as a Substructural Logic
inferred← citeshttps://doi.org/10.1093/logcom/exp028openalex-snapshot
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
inferred← citeshttps://doi.org/10.12775/llp.2016.002openalex-snapshot
The lattice of Belnapian modal logics: Special extensions and counterparts
inferred← citeshttps://doi.org/10.1515/dema-2013-0334openalex-snapshot
Weak relative pseudocomplements in semilattices
inferred← citeshttps://doi.org/10.1515/ms-2025-0093openalex-snapshot
A new categorical equivalence for stone algebras
inferred← citeshttps://doi.org/10.1590/s0100-60452011000100005openalex-snapshot
Remarks on an algebraic semantics for paraconsistent Nelson's logic
inferred← citeshttps://doi.org/10.3233/fi-1996-272308openalex-snapshot
ROUGH SETS AND NELSON ALGEBRAS
inferred← citeshttps://doi.org/10.4467/20842589rm.21.002.14374openalex-snapshot
On the relation of negations in Nelson algebras
inferred← citeshttps://doi.org/10.5753/wbl.2022.222852openalex-snapshot
Quasi-N4-lattices and their logic
inferred← citeshttps://doi.org/10.62072/acm.2026.09035openalex-snapshot
Boolean-Centred Negation and Involutive Envelopes in 𝐵-Algebras
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.