On the public citation graph
Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C ? and CC ?
0 signed · 38 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/bf00174897openalex-snapshot
Dialectical logic, semantics and metamathematics
inferredcites →https://doi.org/10.1007/bf00832085openalex-snapshot
Dialectical logic, classical logic, and the consistency of the world
inferredcites →https://doi.org/10.1007/bf02123283openalex-snapshot
Semantical analyses of propositional systems of Fitch and Nelson
inferredcites →https://doi.org/10.1007/bf02379118openalex-snapshot
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites
inferredcites →https://doi.org/10.1016/0016-0032(63)90672-0openalex-snapshot
Foundations of mathematical logic
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)x7085-5openalex-snapshot
Formal Systems and Recursive Functions
inferredcites →https://doi.org/10.1111/j.1755-2567.1968.tb00337.xopenalex-snapshot
Propositional Logics Related to Heyting's and Johansson's
inferredcites →https://doi.org/10.1305/ndjfl/1093888132openalex-snapshot
A semantical analysis of the calculi ${\bf C}_n$.
inferredcites →https://doi.org/10.1305/ndjfl/1093891487openalex-snapshot
On the theory of inconsistent formal systems.
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-4020-6324-4_1openalex-snapshot
Logics of Formal Inconsistency
inferred← citeshttps://doi.org/10.1007/978-3-319-15368-1_23openalex-snapshot
Negative Modalities in the Light of Paraconsistency
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_14openalex-snapshot
What is That Item Designated Negation?
inferred← citeshttps://doi.org/10.1007/s10469-007-0029-8openalex-snapshot
A paraconsistent extension of Sylvan’s logic
inferred← citeshttps://doi.org/10.1007/s10849-020-09321-8openalex-snapshot
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3$$_{\text {DH}}$$
inferred← citeshttps://doi.org/10.1007/s10992-020-09558-5openalex-snapshot
Routley Star and Hyperintensionality
inferred← citeshttps://doi.org/10.1007/s10992-020-09583-4openalex-snapshot
Basic Quasi-Boolean Expansions of Relevance Logics
inferred← citeshttps://doi.org/10.1007/s11225-025-10170-4openalex-snapshot
Variations on the Calculi $$C_n$$ of da Costa
inferred← citeshttps://doi.org/10.1007/s11225-025-10171-3openalex-snapshot
Gently Paraconsistent Extensions of $$C_1$$, Intuitionistic Implication, De Morgan Laws, and the Law of Non-contradiction
inferred← citeshttps://doi.org/10.1017/s1755020321000277openalex-snapshot
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
inferred← citeshttps://doi.org/10.1093/jigpal/jzt046openalex-snapshot
A paraconsistent 3-valued logic related to Godel logic G3
inferred← citeshttps://doi.org/10.1093/jigpal/jzw059openalex-snapshot
Self-extensional three-valued paraconsistent logics have no implication
inferred← citeshttps://doi.org/10.1093/jigpal/jzw065openalex-snapshot
Equivalence among RC-type paraconsistent logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzy064openalex-snapshot
Paraconsistency, self-extensionality, modality
inferred← citeshttps://doi.org/10.12775/llp.1997.009openalex-snapshot
Logic may be simple. Logic, congruence and algebra
inferred← citeshttps://doi.org/10.12775/llp.2017.023openalex-snapshot
On Displaying Negative Modalities
inferred← citeshttps://doi.org/10.1305/ndjfl/1022615617openalex-snapshot
Limits for Paraconsistent Calculi
inferred← citeshttps://doi.org/10.18778/0138-0680.2020.12openalex-snapshot
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
inferred← citeshttps://doi.org/10.18778/0138-0680.2020.13openalex-snapshot
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
inferred← citeshttps://doi.org/10.21146/2074-1472-2025-31-1-47-73openalex-snapshot
О дуальности логических систем: паралогики
inferred← citeshttps://doi.org/10.3390/axioms13110738openalex-snapshot
Intuitionistic Implication and Logics of Formal Inconsistency
inferred← citeshttps://doi.org/10.4288/kisoron.39.2_51openalex-snapshot
On Extensions of a System of Paraconsistent Logic PCL1
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.