On the public citation graph
Propositional calculus for contradictory deductive systems
0 signed · 321 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/978-3-540-89107-9_6openalex-snapshot
Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/978-3-662-38452-7_12openalex-snapshot
Die logischen Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/978-3-662-41928-1openalex-snapshot
Grundzüge der Theoretischen Logik
inferredcites →https://doi.org/10.1007/bf01448445openalex-snapshot
Die logischen Grundlagen der Mathematik
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.202100076openalex-snapshot
Logics of upsets of De Morgan lattices
inferred← citeshttps://doi.org/10.1007/978-1-4020-2808-3_22openalex-snapshot
The Need for Adaptive Logics In Epistemology
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_13openalex-snapshot
Argumentation and Inconsistency-Tolerant Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-030-25365-3_8openalex-snapshot
Looting Liars Masking Models
inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_12openalex-snapshot
A Generalization of Ordered-Pair Semantics
inferred← citeshttps://doi.org/10.1007/978-3-030-90823-2_12openalex-snapshot
On Modal Opposition Within Some Modal Discussive Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-19907-3_16openalex-snapshot
Moral Space for Paraconsistent AGI
inferred← citeshttps://doi.org/10.1007/978-3-031-42127-3_21openalex-snapshot
Two in One. What the Logic of Christology Can Teach Us
inferred← citeshttps://doi.org/10.1007/978-3-031-42441-0_1openalex-snapshot
Structured Specification of Paraconsistent Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-56595-3_8openalex-snapshot
Many-Valued Modalities and Paraconsistency
inferred← citeshttps://doi.org/10.1007/978-3-032-11027-5_20openalex-snapshot
Beyond Paraconsistency: A Plea for a Radical Breach with the Aristotelean Orthodoxy in Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-11027-5_9openalex-snapshot
Restricted Swap Structures for C-Systems: An Algebraic and Categorical Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-01866-9_9openalex-snapshot
Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-18075-5_13openalex-snapshot
Truth and Fiction in Lewis’s Critique of Meinongian Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-19722-7_3openalex-snapshot
Paraconsistent Annotated Logic Program EVALPSN and Its Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-21768-0_2openalex-snapshot
Higher-Order Modal Logics: Automation and Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-32168-4_11openalex-snapshot
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control
inferred← citeshttps://doi.org/10.1007/978-3-319-33609-1_15openalex-snapshot
Paraconsistency of Argumentation Semantics for Stepping Theories of Active Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-40220-8_1openalex-snapshot
Paraconsistent Reasoning in Science and Mathematics: Introduction
inferred← citeshttps://doi.org/10.1007/978-3-319-40418-9_7openalex-snapshot
Programming with Annotated Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-65430-0_32openalex-snapshot
Stanisław Jaśkowski: Life and Work
inferred← citeshttps://doi.org/10.1007/978-3-319-65430-0_34openalex-snapshot
Variations on Jaśkowski’s Discursive Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-30597-2_6openalex-snapshot
On the Complexity of Paraconsistent Inference Relations
inferred← citeshttps://doi.org/10.1007/978-3-540-74780-2_51openalex-snapshot
Application of Paraconsistent Logic in an Intelligent Tutoring System
inferred← citeshttps://doi.org/10.1007/978-3-540-78293-3_6openalex-snapshot
The Paraconsistent Annotated Logic Program EVALPSN and its Application
inferred← citeshttps://doi.org/10.1007/978-3-540-85064-9_1openalex-snapshot
Some Rough Consequence Logics and their Interrelations
inferred← citeshttps://doi.org/10.1007/978-3-642-01533-5_4openalex-snapshot
Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application
inferred← citeshttps://doi.org/10.1007/978-3-642-14755-5_7openalex-snapshot
Revising Geographical Knowledge: A Model for Local Belief Change
inferred← citeshttps://doi.org/10.1007/978-3-642-15393-8_23openalex-snapshot
Constructive Discursive Reasoning
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-642-45324-3_16openalex-snapshot
A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-54756-0_1openalex-snapshot
Three-Valued Logics, Uncertainty Management and Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-658-37784-7_2openalex-snapshot
Conjunctive Paraconsistency: A Pre-Logical Introduction
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_31openalex-snapshot
Sette’s Logics, Revisited
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_10openalex-snapshot
From Possibility Theory to Paraconsistency
inferred← citeshttps://doi.org/10.1007/978-90-481-9473-5_12openalex-snapshot
Research in Related Disciplines and Non-Anglophone Areas
inferred← citeshttps://doi.org/10.1007/978-94-007-4438-7_1openalex-snapshot
Paraconsistency: Introduction
inferred← citeshttps://doi.org/10.1007/978-94-007-4438-7_9openalex-snapshot
On Modal Logics Defining Jaśkowski’s D2-Consequence
inferred← citeshttps://doi.org/10.1007/978-94-007-6883-3_12-1openalex-snapshot
Research in Related Disciplines and Non-Anglophone Areas
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_18openalex-snapshot
On Structured Belief Bases
inferred← citeshttps://doi.org/10.1007/978-94-017-0961-3_8openalex-snapshot
The Logic between Two Centuries
inferred← citeshttps://doi.org/10.1007/978-94-017-1185-2_7openalex-snapshot
Towards an Acceptable Theory of Acceptance: Partial Structures Inconsistency and Correspondence
inferred← citeshttps://doi.org/10.1007/978-94-017-1739-7_7openalex-snapshot
Necessary Conditions for Negation-Operators (with Particular Applications to Paraconsistent Negation)
inferred← citeshttps://doi.org/10.1007/978-94-017-9011-6_6openalex-snapshot
A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence
inferred← citeshttps://doi.org/10.1007/bf00174897openalex-snapshot
Dialectical logic, semantics and metamathematics
inferred← citeshttps://doi.org/10.1007/bf00413579openalex-snapshot
Paraconsistent structure inside of many-valued logic
inferred← citeshttps://doi.org/10.1007/bf01057650openalex-snapshot
On the logic of event-causation Ja?kowski-style systems of causal logic
inferred← citeshttps://doi.org/10.1007/bf02120494openalex-snapshot
The axiomatization of S. Jaśkowski's discussive system
inferred← citeshttps://doi.org/10.1007/s00500-014-1489-0openalex-snapshot
Paraconsistency properties in degree-preserving fuzzy logics
inferred← citeshttps://doi.org/10.1007/s10503-014-9321-7openalex-snapshot
The Lvov–Warsaw School as a Source of Inspiration for Argumentation Theory
inferred← citeshttps://doi.org/10.1007/s10670-017-9879-1openalex-snapshot
Deontic Modals: Why Abandon the Default Approach
inferred← citeshttps://doi.org/10.1007/s10781-023-09545-5openalex-snapshot
Silence and Contradiction in the Jaina Saptabhaṅgī
inferred← citeshttps://doi.org/10.1007/s10849-013-9171-yopenalex-snapshot
Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study
inferred← citeshttps://doi.org/10.1007/s10849-019-09306-2openalex-snapshot
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3
inferred← citeshttps://doi.org/10.1007/s10992-004-8539-5openalex-snapshot
Non-Adjunctive Inference and Classical Modalities
inferred← citeshttps://doi.org/10.1007/s10992-005-9004-9openalex-snapshot
An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency
inferred← citeshttps://doi.org/10.1007/s10992-011-9178-2openalex-snapshot
On AGM for Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/s10992-017-9436-zopenalex-snapshot
Handling Inconsistencies in the Early Calculus
inferred← citeshttps://doi.org/10.1007/s10992-021-09592-xopenalex-snapshot
Probabilities with Gaps and Gluts
inferred← citeshttps://doi.org/10.1007/s10992-024-09776-1openalex-snapshot
Reading Conclusions Conjunctively
inferred← citeshttps://doi.org/10.1007/s10992-025-09827-1openalex-snapshot
A Simple Paraconsistent Logic without Addition
inferred← citeshttps://doi.org/10.1007/s11225-017-9780-6openalex-snapshot
Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2
inferred← citeshttps://doi.org/10.1007/s11225-021-09972-zopenalex-snapshot
Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics
inferred← citeshttps://doi.org/10.1007/s11225-023-10042-9openalex-snapshot
Axiomatizing a Minimal Discussive Logic
inferred← citeshttps://doi.org/10.1007/s11225-024-10114-4openalex-snapshot
Paraconsistency in Non-Fregean Framework
inferred← citeshttps://doi.org/10.1007/s11225-025-10182-0openalex-snapshot
From Jaśkowski’s Discussive Logic to Contemporary Paraconsistent Systems
inferred← citeshttps://doi.org/10.1007/s11225-025-10222-9openalex-snapshot
Some New Three-valued Paraconsistent 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/s11229-005-3114-3openalex-snapshot
THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASE
inferred← citeshttps://doi.org/10.1007/s11229-015-0935-6openalex-snapshot
On a “most telling” argument for paraconsistent logic
inferred← citeshttps://doi.org/10.1007/s11229-017-1458-0openalex-snapshot
Paraconsistency in classical logic
inferred← citeshttps://doi.org/10.1007/s11229-020-02618-yopenalex-snapshot
Identifying logical evidence
inferred← citeshttps://doi.org/10.1007/s11229-021-03096-6openalex-snapshot
Conjunctive paraconsistency
inferred← citeshttps://doi.org/10.1007/s11229-025-05368-xopenalex-snapshot
Two gaps for one glut: A combined solution of paradoxes
inferred← citeshttps://doi.org/10.1007/s11229-026-05620-yopenalex-snapshot
Records, chance, and determination: a three-layer semantics for quantum measurement and future contingents
inferred← citeshttps://doi.org/10.1007/s11787-016-0139-yopenalex-snapshot
Inconsistency-Adaptive Dialogical Logic
inferred← citeshttps://doi.org/10.1007/s11787-017-0175-2openalex-snapshot
Sequent Systems for Negative Modalities
inferred← citeshttps://doi.org/10.1007/s11787-019-00234-0openalex-snapshot
Pavel Florensky’s Theory of Religious Antinomies
inferred← citeshttps://doi.org/10.1007/s11787-021-00284-3openalex-snapshot
Paraconsistent Orbits of Logics
inferred← citeshttps://doi.org/10.1007/s11787-022-00306-8openalex-snapshot
First-order Logics of Evidence and Truth with Constant and Variable Domains
inferred← citeshttps://doi.org/10.1007/s44204-022-00028-0openalex-snapshot
From possible worlds to paraconsistency: on the inevitability of paraconsistent entailment
inferred← citeshttps://doi.org/10.1007/s44204-024-00158-7openalex-snapshot
Two in one: contradictory Christology without gluts?
inferred← citeshttps://doi.org/10.1016/0020-0255(89)90003-0openalex-snapshot
On interpretation of inconsistent theories
inferred← citeshttps://doi.org/10.1016/b978-0-444-51787-6.50012-xopenalex-snapshot
The Logic of Diagnosis
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50023-3openalex-snapshot
Paraconsistent Logics and Paraconsistency
inferred← citeshttps://doi.org/10.1016/j.cogsys.2007.07.009openalex-snapshot
Does intelligence imply contradiction?
inferred← citeshttps://doi.org/10.1016/j.engappai.2023.107342openalex-snapshot
A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives
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.1016/s0020-7373(77)80042-4openalex-snapshot
The fuzzy decade: a bibliography of fuzzy systems and closely related topics
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70049-1openalex-snapshot
Logic and Pragmatic Truth
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70477-xopenalex-snapshot
A survey of Paraconsistent Logic ( )
inferred← citeshttps://doi.org/10.1016/s0933-3657(00)00066-xopenalex-snapshot
Fundamentals of clinical methodology
inferred← citeshttps://doi.org/10.1016/s0933-3657(00)00071-3openalex-snapshot
The Fuzzy Revolution: Goodbye to the Aristotelian Weltanschauung
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80006-9openalex-snapshot
Paraconsistency and Dialetheism
inferred← citeshttps://doi.org/10.1017/9781108993135openalex-snapshot
Paradoxes and Inconsistent Mathematics
inferred← citeshttps://doi.org/10.1017/9781108993135.003openalex-snapshot
Introduction to an Inconsistent World3
inferred← citeshttps://doi.org/10.1017/9781108993135.004openalex-snapshot
Paradoxes; or, “Here in the Presence of an Absurdity”
inferred← citeshttps://doi.org/10.1017/9781108993135.006openalex-snapshot
In Search of a Uniform Solution
inferred← citeshttps://doi.org/10.1017/9781108993135.007openalex-snapshot
Metatheory and Naive Theory
inferred← citeshttps://doi.org/10.1017/9781108993135.008openalex-snapshot
Prolegomena to Any Future Inconsistent Mathematics
inferred← citeshttps://doi.org/10.1017/9781316756140.028openalex-snapshot
“Just Because”: Taking Belief Bases Seriously
inferred← citeshttps://doi.org/10.1017/cbo9780511614002.002openalex-snapshot
Prologue: Postmodern Logic
inferred← citeshttps://doi.org/10.1017/cbo9780511614002.003openalex-snapshot
Conflict in the Abstract Sciences
inferred← citeshttps://doi.org/10.1017/s0960129525100170openalex-snapshot
Paraconsistent transition structures: compositional principles and a modal logic
inferred← citeshttps://doi.org/10.1017/s1755020322000235openalex-snapshot
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
inferred← citeshttps://doi.org/10.1023/a:1005294523930openalex-snapshot
The Dialogical Approach to Paraconsistency
inferred← citeshttps://doi.org/10.1080/00048402.2014.956768openalex-snapshot
Dialetheism and the Impossibility of the World
inferred← citeshttps://doi.org/10.1080/00048402.2015.1020503openalex-snapshot
Perspectival Variance and Worldly Fragmentation
inferred← citeshttps://doi.org/10.1080/00455091.1993.10717336openalex-snapshot
Suppositions, Presuppositions, Ontology1
inferred← citeshttps://doi.org/10.1080/01445340.2020.1786266openalex-snapshot
A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View
inferred← citeshttps://doi.org/10.1080/01445340.2021.1927455openalex-snapshot
Hegel’s Interpretation of the Liar Paradox
inferred← citeshttps://doi.org/10.1080/0144534021000051505openalex-snapshot
Jaina Logic and the Philosophical Basis of Pluralism
inferred← citeshttps://doi.org/10.1080/01445340903340033openalex-snapshot
The Origins of the Use of the Argument of Trivialization in the Twentieth Century
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510898openalex-snapshot
Handling inconsistency in knowledge systems
inferred← citeshttps://doi.org/10.1080/11663081.1998.10510950openalex-snapshot
Paraconsistent Logical Consequence
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.2016.1225487openalex-snapshot
On a paraconsistentization functor in the category of consequence structures
inferred← citeshttps://doi.org/10.1093/019515651x.001.0001openalex-snapshot
Science and Partial Truth
inferred← citeshttps://doi.org/10.1093/019515651x.003.0002openalex-snapshot
Truth, the Whole Truth, and Partial Truth
inferred← citeshttps://doi.org/10.1093/019515651x.003.0005openalex-snapshot
Acceptance, Belief, and Commitment
inferred← citeshttps://doi.org/10.1093/019515651x.003.0007openalex-snapshot
Partiality, Pursuit, and Practice
inferred← citeshttps://doi.org/10.1093/019515651x.003.0008openalex-snapshot
Quasi Truth and the Nature of Induction
inferred← citeshttps://doi.org/10.1093/019515651x.003.0009openalex-snapshot
From Pragmatic Realism to Structural Empiricism
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199265176.003.0001openalex-snapshot
Introduction: At the Intersection of Truth and Falsity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199570386.003.0023openalex-snapshot
The Prospects of a Paraconsistent Response to Vagueness
inferred← citeshttps://doi.org/10.1093/jigpal/jzac071openalex-snapshot
Paraconsistentization and many-valued logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzae080openalex-snapshot
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices
inferred← citeshttps://doi.org/10.1093/jigpal/jzy054openalex-snapshot
Recovery operators, paraconsistency and duality
inferred← citeshttps://doi.org/10.1093/jigpal/jzy062openalex-snapshot
Subvaluationism and classical recapture
inferred← citeshttps://doi.org/10.1093/jigpal/jzz014openalex-snapshot
A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
inferred← citeshttps://doi.org/10.1093/jigpal/jzz041openalex-snapshot
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
inferred← citeshttps://doi.org/10.1093/logcom/exae076openalex-snapshot
Probabilistic consequence relations
inferred← citeshttps://doi.org/10.1093/mind/106.424.641openalex-snapshot
From heaps and gaps to heaps of gluts
inferred← citeshttps://doi.org/10.1093/mind/108.432.727openalex-snapshot
On super- and subvaluationism: a classicist's reply to Hyde
inferred← citeshttps://doi.org/10.1093/mind/110.438.401openalex-snapshot
Heaps of Gluts and Hyde-ing the Sorites
inferred← citeshttps://doi.org/10.1093/mind/110.438.409openalex-snapshot
A Reply to Beall and Colyvan
inferred← citeshttps://doi.org/10.1093/mind/fzq071openalex-snapshot
A Paraconsistent Model of Vagueness
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.001.0001openalex-snapshot
The Oxford Handbook of Experimental Semantics and Pragmatics
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.002.0004openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.002.0007openalex-snapshot
List of figures and tables
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.002.0008openalex-snapshot
List of abbreviations
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.013.1openalex-snapshot
Language Comprehension, Inference, and Alternatives
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.013.10openalex-snapshot
Event (De)composition
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780198791768.013.15openalex-snapshot
Modified Numerals
showing the first 200 of 313 · page through all 313
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.