On the public citation graph
Intuitionistic logic with strong negation
0 signed · 150 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.1002/malq.19690151602openalex-snapshot
A semantical study of constructible falsity
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7038-7openalex-snapshot
Intuitionistic Logic Model Theory and Forcing
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7085-5openalex-snapshot
Formal Systems and Recursive Functions
inferredcites →https://doi.org/10.1016/s1385-7258(64)50066-9openalex-snapshot
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
inferredcites →https://doi.org/10.2307/2268715openalex-snapshot
Proof of the independence of the primitive symbols of Heyting's calculus of propositions
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.201010016openalex-snapshot
Notes on Craig interpolation for LJ with strong negation
inferred← citeshttps://doi.org/10.1002/malq.201300016openalex-snapshot
Strong negation in intuitionistic style sequent systems for residuated lattices
inferred← citeshttps://doi.org/10.1002/malq.201400086openalex-snapshot
A decidable paraconsistent relevant logic: Gentzen system and Routley‐Meyer semantics
inferred← citeshttps://doi.org/10.1002/malq.201500042openalex-snapshot
Paraconsistent double negation as a modal operator
inferred← citeshttps://doi.org/10.1002/malq.201700012openalex-snapshot
Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
inferred← citeshttps://doi.org/10.1007/10722086_28openalex-snapshot
A Tableau Calculus for Equilibrium Entailment
inferred← citeshttps://doi.org/10.1007/11546207_27openalex-snapshot
Routley Semantics for Answer Sets
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_46openalex-snapshot
Computing Equilibrium Models Using Signed Formulas
inferred← citeshttps://doi.org/10.1007/3-540-58025-5_60openalex-snapshot
Answer sets and nonmonotonic S4
inferred← citeshttps://doi.org/10.1007/3-540-59487-6_27openalex-snapshot
Nonmonotonicity and answer set inference
inferred← citeshttps://doi.org/10.1007/978-3-030-05453-3_15openalex-snapshot
Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_14openalex-snapshot
Bilattice Logics and Demi-Negation
inferred← citeshttps://doi.org/10.1007/978-3-031-24605-0_9openalex-snapshot
The Paradox of Knowability
inferred← citeshttps://doi.org/10.1007/978-3-031-95908-0_34openalex-snapshot
Constructive Analysis of Maximal Ideals in $$\mathbb {Z}[X]$$ by the Material Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-032-13067-9_12openalex-snapshot
Squares, Octagons, Hexadecagons, and Beyond: The Intuitionistic Case
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-22686-6openalex-snapshot
Advances in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6_7openalex-snapshot
The Paradox of Knowability from an Intuitionistic Standpoint
inferred← citeshttps://doi.org/10.1007/978-3-319-24756-4_11openalex-snapshot
Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_10openalex-snapshot
On Split Negation, Strong Negation, Information, Falsification, and Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-60837-2_8openalex-snapshot
New Algebras and Logic from a Category of Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-540-24581-0_31openalex-snapshot
Some Logics of Belief and Disbelief
inferred← citeshttps://doi.org/10.1007/978-3-540-24609-1_18openalex-snapshot
Uniform Equivalence for Equilibrium Logic and Logic Programs
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-540-30227-8_15openalex-snapshot
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_9openalex-snapshot
Sixty Years of Stable Models
inferred← citeshttps://doi.org/10.1007/978-3-642-15025-8_1openalex-snapshot
Yuri, Logic, and Computer Science
inferred← citeshttps://doi.org/10.1007/978-3-642-23863-5_25openalex-snapshot
Interpolation Theorems for Some Extended Description Logics
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_6openalex-snapshot
An Extended First-Order Belnap-Dunn Logic with Classical Negation
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-94-015-9309-0_8openalex-snapshot
From Here to There: Stable Negation in Logic Programming
inferred← citeshttps://doi.org/10.1007/978-94-017-3598-8_11openalex-snapshot
Inconsistency-tolerant Description Logic: Motivation and Basic Systems
inferred← citeshttps://doi.org/10.1007/bf00175369openalex-snapshot
Natural deduction rules for a logic of vagueness
inferred← citeshttps://doi.org/10.1007/bf00263542openalex-snapshot
Subformula semantics for strong negation systems
inferred← citeshttps://doi.org/10.1007/bf01181683openalex-snapshot
Informational interpretation of substructural propositional logics
inferred← citeshttps://doi.org/10.1007/bfb0023440openalex-snapshot
Disjunctive logic programming, constructivity and strong negation
inferred← citeshttps://doi.org/10.1007/bfb0023801openalex-snapshot
A new logical characterisation of stable models and answer sets
inferred← citeshttps://doi.org/10.1007/bfb0031924openalex-snapshot
Reasoning with negative information, II: Hard negation, strong negation and logic programs
inferred← citeshttps://doi.org/10.1007/s00354-009-0116-6openalex-snapshot
Paraconsistent Computation Tree Logic
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/s10849-021-09330-1openalex-snapshot
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation
inferred← citeshttps://doi.org/10.1007/s10849-022-09386-7openalex-snapshot
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
inferred← citeshttps://doi.org/10.1007/s10992-017-9427-0openalex-snapshot
There is More to Negation than Modality
inferred← citeshttps://doi.org/10.1007/s10992-018-9467-0openalex-snapshot
HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
inferred← citeshttps://doi.org/10.1007/s10992-020-09553-wopenalex-snapshot
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
inferred← citeshttps://doi.org/10.1007/s10992-020-09585-2openalex-snapshot
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems
inferred← citeshttps://doi.org/10.1007/s10992-021-09611-xopenalex-snapshot
Falsification-Aware Semantics and Sequent Calculi for Classical Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09659-3openalex-snapshot
Embedding Friendly First-Order Paradefinite and Connexive Logics
inferred← citeshttps://doi.org/10.1007/s10992-025-09799-2openalex-snapshot
Proof theory of Abelian connexive logics
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-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-012-9380-4openalex-snapshot
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-013-9533-0openalex-snapshot
A Hierarchy of Weak Double Negations
inferred← citeshttps://doi.org/10.1007/s11225-017-9731-2openalex-snapshot
Paraconsistent Double Negations as Classical and Intuitionistic Negations
inferred← citeshttps://doi.org/10.1007/s11225-017-9752-xopenalex-snapshot
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
inferred← citeshttps://doi.org/10.1007/s11225-020-09939-6openalex-snapshot
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
inferred← citeshttps://doi.org/10.1007/s11225-023-10055-4openalex-snapshot
Executability and Connexivity in an Interpretation of Griss
inferred← citeshttps://doi.org/10.1007/s11225-024-10115-3openalex-snapshot
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics
inferred← citeshttps://doi.org/10.1007/s11225-024-10139-9openalex-snapshot
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors
inferred← citeshttps://doi.org/10.1007/s11225-024-10143-zopenalex-snapshot
Variable Domain First-Order First-Degree Entailment and Some of Its Children
inferred← citeshttps://doi.org/10.1007/s11225-025-10203-yopenalex-snapshot
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics
inferred← citeshttps://doi.org/10.1007/s11225-026-10268-3openalex-snapshot
The Evolution of $$\varvec{Studia} \,\,\varvec{Logica}$$
inferred← citeshttps://doi.org/10.1007/s11787-014-0110-8openalex-snapshot
Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility
inferred← citeshttps://doi.org/10.1007/s11787-018-0218-3openalex-snapshot
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework
inferred← citeshttps://doi.org/10.1007/s11787-022-00305-9openalex-snapshot
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
inferred← citeshttps://doi.org/10.1007/s13218-018-0547-7openalex-snapshot
Answer Set Programming from a Logical Point of View
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102830openalex-snapshot
Modal extension of ideal paraconsistent four-valued logic and its subsystem
inferred← citeshttps://doi.org/10.1016/j.ijar.2012.11.004openalex-snapshot
Inconsistency-Tolerant Bunched Implications
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.11.001openalex-snapshot
Proof theory of Nelson’s paraconsistent logic: A uniform perspective
inferred← citeshttps://doi.org/10.1017/s1471068406003000openalex-snapshot
Updates in answer set programming: An approach based on basic structural properties
inferred← citeshttps://doi.org/10.1017/s147106840999010xopenalex-snapshot
Characterising equilibrium logic and nested logic programs: Reductions and complexity,
inferred← citeshttps://doi.org/10.1017/s1471068422000114openalex-snapshot
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic
inferred← citeshttps://doi.org/10.1017/s1755020309090133openalex-snapshot
DYNAMIC NEGATION AND NEGATIVE INFORMATION
inferred← citeshttps://doi.org/10.1017/s1755020309090212openalex-snapshot
SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
inferred← citeshttps://doi.org/10.1023/a:1012264614940openalex-snapshot
The Pleasures of Anticipation: Enriching Intuitionistic Logic
inferred← citeshttps://doi.org/10.1023/a:1021256513220openalex-snapshot
Diamonds are a Philosopher's Best Friends
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.798971openalex-snapshot
On deductive bases for paraconsistent answer set semantics
inferred← citeshttps://doi.org/10.1080/11663081.2022.2136560openalex-snapshot
Vagueness as an epiphenomenon, and non-transitivity
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/jzac041openalex-snapshot
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzae001openalex-snapshot
Symmetric and conflated intuitionistic logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzag024openalex-snapshot
First-order intuitionistic Belnap–Dunn logic: proof-theoretic analysis of the American path
inferred← citeshttps://doi.org/10.1093/jigpal/jzm012openalex-snapshot
A Note on Negation in Categorial Grammar
inferred← citeshttps://doi.org/10.1093/jigpal/jzy023openalex-snapshot
Yet another paradefinite logic: The role of conflation1
inferred← citeshttps://doi.org/10.1093/logcom/exad019openalex-snapshot
Dual counterpart intuitionistic logic
inferred← citeshttps://doi.org/10.1093/logcom/exr016openalex-snapshot
Embedding-based approaches to paraconsistent and temporal description logics
inferred← citeshttps://doi.org/10.1093/logcom/exu019openalex-snapshot
Trilattice logic: an embedding-based approach
inferred← citeshttps://doi.org/10.1093/logcom/exw013openalex-snapshot
Logics with definitional reflection rules
inferred← citeshttps://doi.org/10.1093/logcom/exw015openalex-snapshot
Embedding from multilattice logic into classical logic and vice versa
inferred← citeshttps://doi.org/10.1093/logcom/exz010openalex-snapshot
A bilateral Hilbert-style investigation of 2-intuitionistic logic
inferred← citeshttps://doi.org/10.1093/philmat/nkac026openalex-snapshot
Negation in Negationless Intuitionistic Mathematics
inferred← citeshttps://doi.org/10.1109/ismvl.2013.43openalex-snapshot
On Natural Eight-Valued Reasoning
inferred← citeshttps://doi.org/10.1109/ismvl.2016.11openalex-snapshot
Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension
inferred← citeshttps://doi.org/10.1109/ismvl.2016.12openalex-snapshot
Paraconsistent Double Negation That Can Simulate Classical Negation
inferred← citeshttps://doi.org/10.1109/ismvl.2017.13openalex-snapshot
Phase Semantics for Multilattice Formalism
inferred← citeshttps://doi.org/10.1109/ismvl.2017.14openalex-snapshot
Extending Ideal Paraconsistent Four-Valued Logic
inferred← citeshttps://doi.org/10.1109/ismvl49045.2020.00059openalex-snapshot
Completeness of Subtrilattice Logic
inferred← citeshttps://doi.org/10.1109/ismvl57333.2023.00016openalex-snapshot
Natural Deduction with Explosion and Excluded Middle
inferred← citeshttps://doi.org/10.1109/ismvl64713.2025.00046openalex-snapshot
Normalization Theorem for Extended Intuitionistic Belnap–Dunn Logic
inferred← citeshttps://doi.org/10.1109/ismvl68998.2026.00029openalex-snapshot
Alternative First-order Constructive Logics
inferred← citeshttps://doi.org/10.1109/smc.2013.321openalex-snapshot
Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity
inferred← citeshttps://doi.org/10.1142/s0218194022500061openalex-snapshot
Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples
inferred← citeshttps://doi.org/10.1142/s0218194022500371openalex-snapshot
Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking
inferred← citeshttps://doi.org/10.1145/383779.383783openalex-snapshot
Strongly equivalent logic programs
inferred← citeshttps://doi.org/10.1215/00294527-2025-0016openalex-snapshot
Unified Natural Deduction for Logics of Strong Negation
inferred← citeshttps://doi.org/10.12775/llp.2010.002openalex-snapshot
Symmetric and dual paraconsistent logics
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.002openalex-snapshot
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
inferred← citeshttps://doi.org/10.1305/ndjfl/1039293021openalex-snapshot
A Variant of Thomason's First-Order Logic CF Based on Situations
inferred← citeshttps://doi.org/10.1305/ndjfl/1040308828openalex-snapshot
Semantics-based Nonmonotonic Inference
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635593openalex-snapshot
Concerted instant-interval temporal semantics. II. Temporal valuations and logics of change.
inferred← citeshttps://doi.org/10.18778/0138-0680.2025.04openalex-snapshot
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C
inferred← citeshttps://doi.org/10.18778/0138-0680.2025.09openalex-snapshot
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
inferred← citeshttps://doi.org/10.20965/jaciii.2016.p0813openalex-snapshot
Method for Combining Paraconsistency and Probability in Temporal Reasoning
inferred← citeshttps://doi.org/10.3166/jancl.15.405-435openalex-snapshot
Natural deduction systems for Nelson's paraconsistent logic and its neighbors
inferred← citeshttps://doi.org/10.3166/jancl.18.341-364openalex-snapshot
Constructive negation, implication, and co-implication
inferred← citeshttps://doi.org/10.3233/fi-2011-374openalex-snapshot
A Paraconsistent Linear-time Temporal Logic
inferred← citeshttps://doi.org/10.4204/eptcs.415.16openalex-snapshot
A Unified Gentzen-style Framework for Until-free LTL
inferred← citeshttps://doi.org/10.4204/eptcs.415.17openalex-snapshot
Kamide is in America, Moisil and Leitgeb are in Australia
inferred← citeshttps://doi.org/10.4204/eptcs.415.19openalex-snapshot
Unified Gentzen Approach to Connexive Logics over Wansing's C
inferred← citeshttps://doi.org/10.4204/eptcs.415.5openalex-snapshot
A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
inferred← citeshttps://doi.org/10.4213/sm9981openalex-snapshot
О кванторной версии модальной логики Белнапа-Данна
inferred← citeshttps://doi.org/10.4213/sm9981eopenalex-snapshot
On the quantified version of the Belnap-Dunn modal logic
inferred← citeshttps://doi.org/10.4467/20842589rm.14.001.2271openalex-snapshot
AN EIGHT-VALUED PRACONSISTENT LOGIC
inferred← citeshttps://doi.org/10.4467/20842589rm.15.001.3910openalex-snapshot
Interpolation theorems for some variants of LTL
inferred← citeshttps://doi.org/10.4467/20842589rm.17.001.7139openalex-snapshot
Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning
inferred← citeshttps://doi.org/10.4467/20842589rm.17.005.7143openalex-snapshot
Refutations in Wansing’s Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2010.15944openalex-snapshot
Contrapositionally Complemented Pseudo-Boolean Algebras and Intuitionistic Logic with Minimal Negation
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.