On the public citation graph

A formalization of the propositional calculus of H-B logic

https://doi.org/10.1007/bf02120864

0 signed · 95 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot

Untersuchungen �ber das logische Schlie�en. I

inferredcites →https://doi.org/10.4064/fm-83-3-219-249openalex-snapshot

Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

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-032-13562-9_17openalex-snapshot

Tableaux for Epistemic Gödel Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_25openalex-snapshot

Tableau Development for a Bi-intuitionistic Tense Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-08587-6_18openalex-snapshot

Quati: An Automated Tool for Proving Permutation Lemmas

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/978-3-540-73099-6_9openalex-snapshot

A Cut-Free Sequent Calculus for Bi-intuitionistic Logic

inferred← citeshttps://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

inferred← citeshttps://doi.org/10.1007/978-3-642-40948-6_11openalex-snapshot

Dynamic Epistemic Logic Displayed

inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_10openalex-snapshot

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_5openalex-snapshot

On the Blok-Esakia Theorem

inferred← citeshttps://doi.org/10.1007/bf01057645openalex-snapshot

Cecylia Rauszer

inferred← citeshttps://doi.org/10.1007/s10670-024-00842-3openalex-snapshot

Connexive Exclusion

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-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-09415-7openalex-snapshot

Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics

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-021-09611-xopenalex-snapshot

Falsification-Aware Semantics and Sequent Calculi for Classical Logic

inferred← citeshttps://doi.org/10.1007/s11225-005-8474-7openalex-snapshot

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research

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-9417-8openalex-snapshot

Natural Deduction for Dual-intuitionistic Logic

inferred← citeshttps://doi.org/10.1007/s11225-014-9566-zopenalex-snapshot

Hypersequent and Display Calculi – a Unified Perspective

inferred← citeshttps://doi.org/10.1007/s11225-016-9664-1openalex-snapshot

Bi-Simulating in Bi-Intuitionistic Logic

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-023-10052-7openalex-snapshot

Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic

inferred← citeshttps://doi.org/10.1007/s11229-025-05220-2openalex-snapshot

Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other

inferred← citeshttps://doi.org/10.1007/s11787-007-0014-yopenalex-snapshot

Structuring the Universe of Universal Logic

inferred← citeshttps://doi.org/10.1016/j.apal.2012.09.005openalex-snapshot

Kripke semantics and proof systems for combining intuitionistic logic and classical logic

inferred← citeshttps://doi.org/10.1016/j.apal.2019.04.003openalex-snapshot

Algorithmic correspondence and canonicity for non-distributive logics

inferred← citeshttps://doi.org/10.1016/j.apal.2023.103245openalex-snapshot

B-frame duality

inferred← citeshttps://doi.org/10.1016/j.apal.2024.103490openalex-snapshot

Bi-intermediate logics of trees and co-trees

inferred← citeshttps://doi.org/10.1016/j.apal.2025.103563openalex-snapshot

Local tabularity is decidable for bi-intermediate logics of trees and of co-trees

inferred← citeshttps://doi.org/10.1016/j.apal.2025.103635openalex-snapshot

Unified inverse correspondence for LE-logics

inferred← citeshttps://doi.org/10.1016/j.artint.2024.104236openalex-snapshot

Gödel–Dummett linear temporal logic

inferred← citeshttps://doi.org/10.1016/j.fss.2024.108892openalex-snapshot

Modal reduction principles across relational semantics

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.ic.2021.104757openalex-snapshot

Hennessy-Milner properties via topological compactness

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.jlamp.2015.11.003openalex-snapshot

A bi-intuitionistic modal logic: Foundations and automation

inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100682openalex-snapshot

Expressing discrete spatial relations under granularity

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.1016/j.tcs.2024.114875openalex-snapshot

Polynomial-time checking of generalized Sahlqvist syntactic shape

inferred← citeshttps://doi.org/10.1017/jsl.2025.10126openalex-snapshot

BLOK–ESAKIA THEOREMS VIA STABLE CANONICAL RULES

inferred← citeshttps://doi.org/10.1017/s147106842610043xopenalex-snapshot

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

inferred← citeshttps://doi.org/10.1017/s175502031600040xopenalex-snapshot

ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

inferred← citeshttps://doi.org/10.1017/s1755020321000290openalex-snapshot

IMPROVING STRONG NEGATION

inferred← citeshttps://doi.org/10.1017/s1755020322000296openalex-snapshot

CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC

inferred← citeshttps://doi.org/10.1017/s1755020326101063openalex-snapshot

CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS

inferred← citeshttps://doi.org/10.1023/a:1004218110879openalex-snapshot

On Logics with Coimplication

inferred← citeshttps://doi.org/10.1023/a:1012264614940openalex-snapshot

The Pleasures of Anticipation: Enriching Intuitionistic Logic

inferred← citeshttps://doi.org/10.1080/11663081.2018.1448636openalex-snapshot

Bi-intuitionistic implication structures

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/jzaa015openalex-snapshot

Nelson’s logic 𝒮

inferred← citeshttps://doi.org/10.1093/jigpal/jzad017openalex-snapshot

Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion

inferred← citeshttps://doi.org/10.1093/jigpal/jzae001openalex-snapshot

Symmetric and conflated intuitionistic logics

inferred← citeshttps://doi.org/10.1093/logcom/14.4.529openalex-snapshot

A Formulae-as-Types Interpretation of Subtractive Logic

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/exab058openalex-snapshot

Maximality of bi-intuitionistic propositional logic

inferred← citeshttps://doi.org/10.1093/logcom/exae011openalex-snapshot

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

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/exn067openalex-snapshot

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic

inferred← citeshttps://doi.org/10.1093/logcom/ext035openalex-snapshot

Falsification, natural deduction and bi-intuitionistic logic

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/grc.2014.6982797openalex-snapshot

Da Costa logics and vagueness

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/lics56636.2023.10175785openalex-snapshot

Cut-Restriction: From Cuts to Analytic Cuts

inferred← citeshttps://doi.org/10.1142/s021819672150034xopenalex-snapshot

Splittings in varieties of logic

inferred← citeshttps://doi.org/10.1145/3434290openalex-snapshot

A computational interpretation of compact closed categories: reversible programming with negative and fractional types

inferred← citeshttps://doi.org/10.1145/3547637openalex-snapshot

Introduction and elimination, left and right

inferred← citeshttps://doi.org/10.1145/3636501.3636957openalex-snapshot

A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic

inferred← citeshttps://doi.org/10.1145/3776724openalex-snapshot

A Complementary Approach to Incorrectness Typing

inferred← citeshttps://doi.org/10.12775/llp.2010.002openalex-snapshot

Symmetric and dual paraconsistent logics

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.2020.12openalex-snapshot

Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

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.03openalex-snapshot

Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations

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.23638/lmcs-15(1:15)2019openalex-snapshot

Sahlqvist via Translation

inferred← citeshttps://doi.org/10.24963/kr.2022openalex-snapshot

Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning

inferred← citeshttps://doi.org/10.24963/kr.2022/1openalex-snapshot

A Gödel Calculus for Linear Temporal Logic

inferred← citeshttps://doi.org/10.25911/5d5fcc3a4db33openalex-snapshot

Proof theory and proof search of bi-intuitionistic and tense logic

inferred← citeshttps://doi.org/10.26686/ajl.v12i4.2225openalex-snapshot

Substructural Negations

inferred← citeshttps://doi.org/10.26686/ajl.v14i1.4027openalex-snapshot

A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics

inferred← citeshttps://doi.org/10.3166/jancl.18.341-364openalex-snapshot

Constructive negation, implication, and co-implication

inferred← citeshttps://doi.org/10.4204/eptcs.47.7openalex-snapshot

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

inferred← citeshttps://doi.org/10.4288/jafpos.33.0_145openalex-snapshot

How Can We Avoid Popper's Collapsing Problem and Have Craig Interpolation?

inferred← citeshttps://doi.org/10.48550/arxiv.0704.1707openalex-snapshot

A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version

inferred← citeshttps://doi.org/10.48550/arxiv.1006.4793openalex-snapshot

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

inferred← citeshttps://doi.org/10.48550/arxiv.1708.05896openalex-snapshot

A Cointuitionistic Adjoint Logic

inferred← citeshttps://doi.org/10.48550/arxiv.2002.04257openalex-snapshot

Non-distributive logics: from semantics to meaning

inferred← citeshttps://doi.org/10.48550/arxiv.2009.14787openalex-snapshot

A cut-free sequent calculus for the bi-intuitionistic logic 2Int

inferred← citeshttps://doi.org/10.59203/zfn.69.520openalex-snapshot

On the validity of the definition of a complement-classifier

inferred← citeshttps://doi.org/10.70675/5489cd66z8146z432aza6e4ze244c375f4e8openalex-snapshot

Deep Inference for Graphical Theorem Proving

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.