On the public citation graph
Notes on N-lattices and constructive logic with strong negation
0 signed · 159 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.2307/1969038openalex-snapshot
On Closed Elements in Closure Algebras
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.1002/malq.19920380146openalex-snapshot
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
inferred← citeshttps://doi.org/10.1007/11853886_9openalex-snapshot
On the Logic and Computation of Partial Equilibrium Models
inferred← citeshttps://doi.org/10.1007/978-3-030-01162-8_7openalex-snapshot
Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces
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-50153-2_47openalex-snapshot
Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras
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-030-71258-7_3openalex-snapshot
On Axioms and Rexpansions
inferred← citeshttps://doi.org/10.1007/978-3-030-86059-2_2openalex-snapshot
Constraint Tableaux for Two-Dimensional Fuzzy Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_26openalex-snapshot
Paraconsistent Gödel Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-43619-2_34openalex-snapshot
Deontic Equilibrium Logic with eXplicit Negation
inferred← citeshttps://doi.org/10.1007/978-3-319-15368-1_22openalex-snapshot
Belnap Constants and Nelson Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-30526-4_15openalex-snapshot
Formal (In)consistency, Abduction and Modalities
inferred← citeshttps://doi.org/10.1007/978-3-319-33205-5_5openalex-snapshot
LFIs Based on Other Logics
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-540-27775-0_15openalex-snapshot
Simplifying Logic Programs Under Answer Set Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-20895-9_23openalex-snapshot
Contingency-Based Equilibrium Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-31709-5_64openalex-snapshot
Relationships between Connectives in Three-Valued Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-33353-8_12openalex-snapshot
Three-Valued Logics for Incomplete Information and Epistemic 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-662-62798-3_3openalex-snapshot
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects
inferred← citeshttps://doi.org/10.1007/978-3-662-62798-3_4openalex-snapshot
A Study of Algebras and Logics of Rough Sets Based on Classical and Generalized Approximation Spaces
inferred← citeshttps://doi.org/10.1007/978-3-662-66544-2_9openalex-snapshot
A Study of Algebraic Structures and Logics Based on Categories of Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-7908-1840-6_10openalex-snapshot
Logical and Algebraic Techniques for Rough Set Data Analysis
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/978-94-017-0961-3_8openalex-snapshot
The Logic between Two Centuries
inferred← citeshttps://doi.org/10.1007/bf00370208openalex-snapshot
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
inferred← citeshttps://doi.org/10.1007/bf00394448openalex-snapshot
The Craig interpolation theorem for prepositional logics with strong negation
inferred← citeshttps://doi.org/10.1007/bf00401557openalex-snapshot
Nelson algebras through Heyting ones: I
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/bf01230621openalex-snapshot
The class of Kleene algebras satisfying an interpolation property and Nelson algebras
inferred← citeshttps://doi.org/10.1007/bf02429842openalex-snapshot
Some investigations of varieties ofN-lattices-lattices
inferred← citeshttps://doi.org/10.1007/s00012-011-0149-9openalex-snapshot
Representation of Nelson algebras by rough sets determined by quasiorders
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/s00012-017-0433-4openalex-snapshot
Kleene algebras with implication
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-020-05482-7openalex-snapshot
A duality for two-sorted 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/s10474-019-00985-8openalex-snapshot
Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
inferred← citeshttps://doi.org/10.1007/s10992-023-09733-4openalex-snapshot
8 Valued Non-Deterministic Semantics for Modal Logics
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-8472-9openalex-snapshot
The Class of Extensions of Nelson's Paraconsistent Logic
inferred← citeshttps://doi.org/10.1007/s11225-005-8473-8openalex-snapshot
A First Order Nonmonotonic Extension of Constructive Logic
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-008-9113-xopenalex-snapshot
Constructive Logic with Strong Negation is a Substructural Logic. I
inferred← citeshttps://doi.org/10.1007/s11225-008-9138-1openalex-snapshot
Constructive Logic with Strong Negation is a Substructural Logic. II
inferred← citeshttps://doi.org/10.1007/s11225-008-9145-2openalex-snapshot
On Some Categories of Involutive Centered Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11225-009-9163-8openalex-snapshot
Behavioral Algebraization of Logics
inferred← citeshttps://doi.org/10.1007/s11225-009-9181-6openalex-snapshot
On Axiomatizing Shramko-Wansing’s Logic
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-9380-4openalex-snapshot
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
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-014-9546-3openalex-snapshot
The Logic of Generalized Truth Values and the Logic of Bilattices
inferred← citeshttps://doi.org/10.1007/s11225-016-9696-6openalex-snapshot
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics
inferred← citeshttps://doi.org/10.1007/s11225-017-9737-9openalex-snapshot
Semi-intuitionistic Logic with Strong Negation
inferred← citeshttps://doi.org/10.1007/s11225-017-9753-9openalex-snapshot
Disentangling FDE-Based Paraconsistent Modal Logics
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-022-10026-1openalex-snapshot
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices
inferred← citeshttps://doi.org/10.1007/s11225-023-10047-4openalex-snapshot
Tense Operators on Distributive Lattices with Implication
inferred← citeshttps://doi.org/10.1007/s11225-023-10057-2openalex-snapshot
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$
inferred← citeshttps://doi.org/10.1007/s11225-024-10106-4openalex-snapshot
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
inferred← citeshttps://doi.org/10.1007/s11225-024-10109-1openalex-snapshot
Very True Operators on Pre-semi-Nelson Algebras
inferred← citeshttps://doi.org/10.1007/s11225-024-10121-5openalex-snapshot
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$
inferred← citeshttps://doi.org/10.1007/s11225-024-10127-zopenalex-snapshot
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures
inferred← citeshttps://doi.org/10.1007/s11225-025-10179-9openalex-snapshot
Heyting Algebras with Kalman-Galois Connections
inferred← citeshttps://doi.org/10.1007/s11225-026-10262-9openalex-snapshot
On Bochvar Algebras and Regular Double Stone Algebras
inferred← citeshttps://doi.org/10.1007/s11225-026-10268-3openalex-snapshot
The Evolution of $$\varvec{Studia} \,\,\varvec{Logica}$$
inferred← citeshttps://doi.org/10.1007/s41066-015-0013-yopenalex-snapshot
Orthopairs and granular computing
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.apal.2023.103338openalex-snapshot
Reasoning with belief functions over Belnap–Dunn logic
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.10.014openalex-snapshot
Paraconsistent Modal Logics
inferred← citeshttps://doi.org/10.1016/j.fss.2024.109170openalex-snapshot
Subresiduated Nelson algebras
inferred← citeshttps://doi.org/10.1016/j.fss.2024.109240openalex-snapshot
On n-valued Post algebras and n-valued Post logics: Twist-style representation and proof theory
inferred← citeshttps://doi.org/10.1016/j.fss.2025.109547openalex-snapshot
An algebraic study of t-norm based residuated fuzzy tense logics
inferred← citeshttps://doi.org/10.1016/j.fss.2025.109563openalex-snapshot
Filter-induced entailment relations in paraconsistent Gödel logics
inferred← citeshttps://doi.org/10.1016/j.fss.2026.109805openalex-snapshot
Kalman structures derived from implicative very true MV-algebras
inferred← citeshttps://doi.org/10.1016/j.fss.2026.110022openalex-snapshot
A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman’s construction
inferred← citeshttps://doi.org/10.1016/j.fss.2026.110128openalex-snapshot
BCI-algebras and their twist constructions
inferred← citeshttps://doi.org/10.1016/j.ins.2013.06.040openalex-snapshot
A map of dependencies among three-valued logics
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103196openalex-snapshot
Specification of paraconsistent transition systems, revisited
inferred← citeshttps://doi.org/10.1017/s1471068419000267openalex-snapshot
Revisiting Explicit Negation in Answer Set Programming
inferred← citeshttps://doi.org/10.1017/s147106842100048xopenalex-snapshot
Thirty years of Epistemic Specifications
inferred← citeshttps://doi.org/10.1017/s1755020319000121openalex-snapshot
BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
inferred← citeshttps://doi.org/10.1017/s1755020319000595openalex-snapshot
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
inferred← citeshttps://doi.org/10.1023/a:1004222213212openalex-snapshot
On Extensions of Intermediate Logics by Strong Negation
inferred← citeshttps://doi.org/10.1023/a:1005238330484openalex-snapshot
Completeness Theorems via the Double Dual Functor
inferred← citeshttps://doi.org/10.1023/a:1005900924623openalex-snapshot
'Classical' Negation in Nonmonotonic Reasoning and Logic Programming
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.2013.863491openalex-snapshot
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
inferred← citeshttps://doi.org/10.1080/11663081.2023.2203312openalex-snapshot
Fragments of quasi-Nelson: residuation
inferred← citeshttps://doi.org/10.1080/11663081.2024.2313315openalex-snapshot
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
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/jzac041openalex-snapshot
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzae082openalex-snapshot
Modality across different logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzaf090openalex-snapshot
Hyper swap structures and Kalman functors: the case study of da Costa logic Cω
inferred← citeshttps://doi.org/10.1093/jigpal/jzag039openalex-snapshot
Tense operators on Kleene algebras with intuitionistic negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzu002openalex-snapshot
Dualities for modal N4-lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzx052openalex-snapshot
On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzy006openalex-snapshot
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
inferred← citeshttps://doi.org/10.1093/jigpal/jzy072openalex-snapshot
Non-deterministic algebraization of logics by swap structures
inferred← citeshttps://doi.org/10.1093/jigpal/jzz030openalex-snapshot
Dually hemimorphic semi-Nelson algebras
inferred← citeshttps://doi.org/10.1093/logcom/exaa027openalex-snapshot
First-order swap structures semantics for some logics of formal inconsistency
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/exae010openalex-snapshot
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
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.1109/fuzz48607.2020openalex-snapshot
2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
inferred← citeshttps://doi.org/10.1109/fuzz48607.2020.9177641openalex-snapshot
On the representation of (weak) nilpotent minimum algebras
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1995.tb00041.xopenalex-snapshot
ON MODELING UNCERTAINTY WITH INTERVAL STRUCTURES
inferred← citeshttps://doi.org/10.1142/s0218196714500179openalex-snapshot
Quasi-discriminator varieties
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.12775/llp.2019.010openalex-snapshot
On Definability of Connectives and Modal Logics over FDE
inferred← citeshttps://doi.org/10.12775/llp.2020.015openalex-snapshot
Twist-Valued Models for Three-Valued Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1515/ms-2025-0093openalex-snapshot
A new categorical equivalence for stone algebras
inferred← citeshttps://doi.org/10.15446/recolma.v52n2.77158openalex-snapshot
Discriminant Structures Associated to Matrix Semantics
inferred← citeshttps://doi.org/10.2307/421151openalex-snapshot
1996–1997 Winter Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.25932/publishup-46969openalex-snapshot
Revisiting explicit negation in answer set programming
inferred← citeshttps://doi.org/10.26686/ajl.v19i5.7420openalex-snapshot
Truthmakers, Incompatibility, and Modality
inferred← citeshttps://doi.org/10.3166/jancl.18.341-364openalex-snapshot
Constructive negation, implication, and co-implication
inferred← citeshttps://doi.org/10.3166/jancl.19.183-209openalex-snapshot
Twist-structures semantics for the logics of the hierarchy InPk
inferred← citeshttps://doi.org/10.3233/fi-1996-272308openalex-snapshot
ROUGH SETS AND NELSON ALGEBRAS
inferred← citeshttps://doi.org/10.3233/fi-1996-283401openalex-snapshot
Rough Sets Through Algebraic Logic
inferred← citeshttps://doi.org/10.3233/fi-2011-424openalex-snapshot
Orthopairs: A Simple and Widely UsedWay to Model Uncertainty
inferred← citeshttps://doi.org/10.3233/fi-2015-1262openalex-snapshot
Algebras of Definable and Rough Sets in Quasi Order-based Approximation Spaces
inferred← citeshttps://doi.org/10.4467/20842589rm.21.002.14374openalex-snapshot
On the relation of negations in Nelson algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1511.07165openalex-snapshot
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-valued, Rough and Perp Semantics
inferred← citeshttps://doi.org/10.48550/arxiv.1710.02393openalex-snapshot
Stone and double Stone algebras: Boolean and Rough Set Representations, 3-valued and 4-valued Logics
inferred← citeshttps://doi.org/10.48550/arxiv.1807.05651openalex-snapshot
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
inferred← citeshttps://doi.org/10.48550/arxiv.1905.09928openalex-snapshot
About a 'concrete' Rauszer Boolean algebra generated by a preorder
inferred← citeshttps://doi.org/10.48550/arxiv.1910.07278openalex-snapshot
On the Relation between Weak Completion Semantics and Answer Set Semantics
inferred← citeshttps://doi.org/10.48550/arxiv.2010.15944openalex-snapshot
Contrapositionally Complemented Pseudo-Boolean Algebras and Intuitionistic Logic with Minimal Negation
inferred← citeshttps://doi.org/10.62072/acm.2026.09035openalex-snapshot
Boolean-Centred Negation and Involutive Envelopes in 𝐵-Algebras
inferred← citeshttps://doi.org/10.70675/00aa6f9fz2952z406dz990fzc2bd986696a6openalex-snapshot
Reasoning with belief functions over Belnap-Dunn logic
inferred← citeshttps://doi.org/10.70675/93c28eb8zac88z40fcz8604z94e17a25518copenalex-snapshot
Paraconsistent and fuzzy modal logics for reasoning about uncertainty
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.