On the public citation graph

Strict implication, deducibility and the deduction theorem

https://doi.org/10.2307/2267407
0 signed · 21 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/978-94-011-6982-0_16openalex-snapshot
The elements of mathematical logic
inferredcites →https://doi.org/10.2307/2020805openalex-snapshot
The Elements of Mathematical Logic.
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2268610openalex-snapshot
Modalities and Quantification

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-662-06342-2_1openalex-snapshot
Compounds of Thorium and Sulfur
inferred← citeshttps://doi.org/10.1007/978-94-010-3263-6_7openalex-snapshot
Modal Logics I: Modalities and Intensional Languages
inferred← citeshttps://doi.org/10.1007/978-94-011-3933-5_18openalex-snapshot
On a Milestone of Empiricism
inferred← citeshttps://doi.org/10.1007/bf00486629openalex-snapshot
Modalities and intensional languages
inferred← citeshttps://doi.org/10.1007/bf02120534openalex-snapshot
The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
inferred← citeshttps://doi.org/10.1007/bf02125917openalex-snapshot
Przegląd twierdzeń o dedukcji dla rachunków zdań
inferred← citeshttps://doi.org/10.1007/bf02548936openalex-snapshot
A logical system based on rules and its application in teaching mathematical logic
inferred← citeshttps://doi.org/10.1007/s11229-011-9905-9openalex-snapshot
Does the deduction theorem fail for modal logic?
inferred← citeshttps://doi.org/10.1016/j.indag.2017.10.003openalex-snapshot
Lewis meets Brouwer: Constructive strict implication
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)71888-3openalex-snapshot
Fifty Years of Deduction Theorems
inferred← citeshttps://doi.org/10.1080/01445340.2024.2336404openalex-snapshot
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
inferred← citeshttps://doi.org/10.1080/11663081.2019.1647653openalex-snapshot
Axiomatic and dual systems for constructive necessity, a formally verified equivalence
inferred← citeshttps://doi.org/10.1111/j.1746-8361.1955.tb01338.xopenalex-snapshot
L'implication et la négation vues au travers des méthodes de Gentzen et de Fitch
inferred← citeshttps://doi.org/10.17265/2159-5291/2015.02.002openalex-snapshot
Atomic Entailment and Atomic Inconsistency and Classical Entailment
inferred← citeshttps://doi.org/10.2307/2963676openalex-snapshot
The pure calculus of entailment
inferred← citeshttps://doi.org/10.4216/jpssj.37.1openalex-snapshot
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.