On the public citation graph
Falsification, natural deduction and bi-intuitionistic logic
0 signed · 109 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/10722086_21openalex-snapshot
Dual Intuitionistic Logic Revisited
inferredcites →https://doi.org/10.1007/3-540-56734-8openalex-snapshot
The Logic of Information Structures
inferredcites →https://doi.org/10.1007/978-1-4020-6867-6openalex-snapshot
Constructive Negations and Paraconsistency
inferredcites →https://doi.org/10.1007/978-3-540-45206-5_4openalex-snapshot
Tableaux with Four Signs as a Unified Framework
inferredcites →https://doi.org/10.1007/978-3-642-02716-1_22openalex-snapshot
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
inferredcites →https://doi.org/10.1007/978-3-642-22438-6_21openalex-snapshot
A Connection-Based Characterization of Bi-intuitionistic Validity
inferredcites →https://doi.org/10.1007/978-3-642-40537-2openalex-snapshot
Automated Reasoning with Analytic Tableaux and Related Methods
inferredcites →https://doi.org/10.1007/978-94-015-9309-0_1openalex-snapshot
Negation: Two Points of View
inferredcites →https://doi.org/10.1007/978-94-015-9309-0_6openalex-snapshot
What Not? A Defence of Dialetheic Theory of Negation
inferredcites →https://doi.org/10.1007/978-94-017-2798-3openalex-snapshot
Proof Theory of Modal Logic
inferredcites →https://doi.org/10.1007/bf01531058openalex-snapshot
Hypersequents, logical consequence and intermediate logics for concurrency
inferredcites →https://doi.org/10.1007/bf02120864openalex-snapshot
A formalization of the propositional calculus of H-B logic
inferredcites →https://doi.org/10.1007/s11225-005-8474-7openalex-snapshot
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research
inferredcites →https://doi.org/10.1007/s11225-012-9417-8openalex-snapshot
Natural Deduction for Dual-intuitionistic Logic
inferredcites →https://doi.org/10.1007/s11225-013-9469-4openalex-snapshot
Extensions of Priest-da Costa Logic
inferredcites →https://doi.org/10.1016/j.tcs.2011.11.001openalex-snapshot
Proof theory of Nelson’s paraconsistent logic: A uniform perspective
inferredcites →https://doi.org/10.1016/s0049-237x(08)70849-8openalex-snapshot
Ideas and Results in Proof Theory
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7040-5openalex-snapshot
Proceedings of the Second Scandinavian Logic Symposium
inferredcites →https://doi.org/10.1093/0198236212.003.0001openalex-snapshot
What Is a Theory of Meaning? (I)
inferredcites →https://doi.org/10.1093/0198236212.003.0002openalex-snapshot
What Is a Theory of Meaning? (II)
inferredcites →https://doi.org/10.1093/jigpal/6.3.451openalex-snapshot
Substructural logics on display
inferredcites →https://doi.org/10.1093/logcom/13.6.835openalex-snapshot
Hypersequent Calculi for Godel Logics -- a Survey
inferredcites →https://doi.org/10.1093/logcom/exn067openalex-snapshot
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
inferredcites →https://doi.org/10.1093/oso/9780198538622.003.0001openalex-snapshot
The Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics
inferredcites →https://doi.org/10.1111/b.9780631206934.2001.00021.xopenalex-snapshot
The Blackwell Guide to Philosophical Logic
inferredcites →https://doi.org/10.1111/b.9780631206934.2001.xopenalex-snapshot
The Blackwell Guide to Philosophical Logic
inferredcites →https://doi.org/10.1163/9789004332966_006openalex-snapshot
CONTRADICTION AND CONTRARIETY. PRIEST ON NEGATION
inferredcites →https://doi.org/10.12775/llp.2012.001openalex-snapshot
What is a genuine intuitionistic notion of falsity?
inferredcites →https://doi.org/10.2307/2274105openalex-snapshot
Constructible falsity and inexact predicates
inferredcites →https://doi.org/10.25911/5d5fcc3a4db33openalex-snapshot
Proof theory and proof search of bi-intuitionistic and tense logic
inferredcites →https://doi.org/10.3166/jancl.18.341-364openalex-snapshot
Constructive negation, implication, and co-implication
inferredcites →https://doi.org/10.4204/eptcs.47.7openalex-snapshot
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
inferredcites →https://doi.org/10.4324/9780203016244openalex-snapshot
An Introduction to Substructural Logics
inferredcites →https://doi.org/10.4324/9780203252642openalex-snapshot
An Introduction to Substructural Logics
inferredcites →https://doi.org/10.5007/1808-1711.2009v13n2p165openalex-snapshot
Dualising Intuitionictic Negation
inferredcites →https://doi.org/10.5860/choice.35-4860openalex-snapshot
Stanford encyclopedia of philosophy
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-3-031-50981-0openalex-snapshot
Peter Schroeder-Heister on Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-50981-0_11openalex-snapshot
A Note on Synonymy in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_14openalex-snapshot
Substructural Negations as Normal Modal Operators
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-319-11041-7_1openalex-snapshot
Prawitz, Proofs, and Meaning
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-40220-8_12openalex-snapshot
On the Methodology of Paraconsistent Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-72056-2_10openalex-snapshot
A Gödel-Artemov-Style Analysis of Constructible Falsity
inferred← citeshttps://doi.org/10.1007/s10670-025-01004-9openalex-snapshot
Problems and Consequences of Bilateral Notions of (Meta-)Derivability
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/s10849-022-09386-7openalex-snapshot
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
inferred← citeshttps://doi.org/10.1007/s10849-024-09416-6openalex-snapshot
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics
inferred← citeshttps://doi.org/10.1007/s10992-020-09558-5openalex-snapshot
Routley Star and Hyperintensionality
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-024-09743-wopenalex-snapshot
A General Schema for Bilateral Proof Rules
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-017-9779-zopenalex-snapshot
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
inferred← citeshttps://doi.org/10.1007/s11225-023-10052-7openalex-snapshot
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
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/s11229-019-02267-wopenalex-snapshot
Tarskian consequence relations bilaterally: some familiar notions
inferred← citeshttps://doi.org/10.1007/s11229-025-05385-wopenalex-snapshot
“Yes,” “No,” neither, and both
inferred← citeshttps://doi.org/10.1007/s11245-016-9430-zopenalex-snapshot
DLEAC: A Dialetheic Logic with Exclusive Assumptions and Conclusions
inferred← citeshttps://doi.org/10.1007/s11787-017-0170-7openalex-snapshot
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!
inferred← citeshttps://doi.org/10.1016/j.jal.2017.01.002openalex-snapshot
A more general general proof theory
inferred← citeshttps://doi.org/10.1016/j.jal.2017.12.001openalex-snapshot
Natural deduction for bi-intuitionistic logic
inferred← citeshttps://doi.org/10.1016/j.jal.2017.12.003openalex-snapshot
Reprint of: A more general general proof theory
inferred← citeshttps://doi.org/10.1017/s1755020316000022openalex-snapshot
A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
inferred← citeshttps://doi.org/10.1017/s1755020324000248openalex-snapshot
BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY
inferred← citeshttps://doi.org/10.1080/11663081.2016.1179528openalex-snapshot
A comparison between monoidal and substructural logics
inferred← citeshttps://doi.org/10.1080/11663081.2018.1547513openalex-snapshot
Monoidal logics: completeness and classical systems
inferred← citeshttps://doi.org/10.1080/11663081.2020.1826155openalex-snapshot
A basic quasi-Boolean logic of intuitionistic character
inferred← citeshttps://doi.org/10.1080/11663081.2024.2313315openalex-snapshot
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
inferred← citeshttps://doi.org/10.1093/jigpal/jzab022openalex-snapshot
Type Theory with Opposite Types: A Paraconsistent Type Theory
inferred← citeshttps://doi.org/10.1093/jigpal/jzae001openalex-snapshot
Symmetric and conflated intuitionistic logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzag037openalex-snapshot
Extending computational trinitarianism
inferred← citeshttps://doi.org/10.1093/jigpal/jzw036openalex-snapshot
Assertion and hypothesis: a logical framework for their opposition relations:
inferred← citeshttps://doi.org/10.1093/logcom/exaa047openalex-snapshot
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic
inferred← citeshttps://doi.org/10.1093/logcom/exac062openalex-snapshot
A typed lambda-calculus with first-class configurations
inferred← citeshttps://doi.org/10.1093/logcom/exad019openalex-snapshot
Dual counterpart intuitionistic logic
inferred← citeshttps://doi.org/10.1093/logcom/exae014openalex-snapshot
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations
inferred← citeshttps://doi.org/10.1093/logcom/exx044openalex-snapshot
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
inferred← citeshttps://doi.org/10.1093/logcom/exz010openalex-snapshot
A bilateral Hilbert-style investigation of 2-intuitionistic logic
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.12775/llp.2017.023openalex-snapshot
On Displaying Negative Modalities
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.18778/0138-0680.2023.16openalex-snapshot
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
inferred← citeshttps://doi.org/10.18778/0138-0680.2023.18openalex-snapshot
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
inferred← citeshttps://doi.org/10.18778/0138-0680.2025.01openalex-snapshot
Supposition: No Problem for Bilateralism
inferred← citeshttps://doi.org/10.18778/0138-0680.2025.03openalex-snapshot
Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations
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.21146/2074-1472-2021-27-1-82-106openalex-snapshot
Equality and Apartness in Bi-intuitinistic Logic
inferred← citeshttps://doi.org/10.21146/2074-1472-2021-27-1-9-19openalex-snapshot
Questions to Michael Dunn
inferred← citeshttps://doi.org/10.4204/eptcs.357.3openalex-snapshot
About Opposition and Duality in Paraconsistent Type Theory
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.4288/kisoron.42.2_81openalex-snapshot
Deductive Inference as Indirect Verification
inferred← citeshttps://doi.org/10.48550/arxiv.2009.14787openalex-snapshot
A cut-free sequent calculus for the bi-intuitionistic logic 2Int
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.