On the public citation graph

A free IPC is a natural logic: Strong completeness for some intuitionistic free logics

https://doi.org/10.1007/bf00157539
0 signed · 36 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.1002/malq.19660120117openalex-snapshot
The Completeness of Free Logic
inferredcites →https://doi.org/10.1007/978-94-009-8937-5_3openalex-snapshot
Free Semantics
inferredcites →https://doi.org/10.1007/bf00263118openalex-snapshot
On the primary and secondary semantics of logical necessity
inferredcites →https://doi.org/10.1007/bf00462042openalex-snapshot
Notes on E! III: A theory of descriptions
inferredcites →https://doi.org/10.1007/bf00660893openalex-snapshot
Brouwer's constructivism
inferredcites →https://doi.org/10.1007/bf01447860openalex-snapshot
�ber Definitionsbereiche von- Funktionen
inferredcites →https://doi.org/10.1007/bfb0066740openalex-snapshot
Intuitionistic formal systems
inferredcites →https://doi.org/10.1007/bfb0066744openalex-snapshot
Applications of Kripke models
inferredcites →https://doi.org/10.1016/s0049-237x(08)70515-9openalex-snapshot
Saturated Intuitionistic Theories
inferredcites →https://doi.org/10.1016/s0049-237x(08)70732-8openalex-snapshot
Descriptions in Intuitionistic Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)71193-5openalex-snapshot
Formal Systems of Intuitionistic Analysis I
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.2307/2024549openalex-snapshot
Singular Terms, Truth-Value Gaps, and Free Logic
inferredcites →https://doi.org/10.2307/2214437openalex-snapshot
Truth and Singular Terms
inferredcites →https://doi.org/10.2307/2214543openalex-snapshot
Predication and Singular Terms
inferredcites →https://doi.org/10.2307/2270047openalex-snapshot
On the strong semantical completeness of the intuitionistic predicate calculus
inferredcites →https://doi.org/10.2307/2270131openalex-snapshot
Interpretations of Kleene's metamathematical predicate Γ ∣ a in intuitionistic arithmetic
inferredcites →https://doi.org/10.2307/2273023openalex-snapshot
H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 (1968), pp. 125–164.
inferredcites →https://doi.org/10.2307/2273024openalex-snapshot
Rolf Schock. Logics without existence assumptions. Almqvist & Wiksell, Stockholm1968, 134 pp.
inferredcites →https://doi.org/10.2307/2313661openalex-snapshot
The Foundations of Intuitionistic Mathematics.
inferredcites →https://doi.org/10.2307/2963675openalex-snapshot
Disjunction and existence under implication in elementary intuitionistic formalisms
inferredcites →https://doi.org/10.4064/fm-62-2-125-164openalex-snapshot
Completeness theorems for some presupposition-free logics

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-319-11558-0_24openalex-snapshot
A Free Logic for Stable Models with Partial Intensional Functions
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_6openalex-snapshot
Free Logics
inferred← citeshttps://doi.org/10.1007/978-94-015-9761-6_1openalex-snapshot
Free Logic: A Fifty-Year Past and an Open Future
inferred← citeshttps://doi.org/10.1007/978-94-015-9761-6_9openalex-snapshot
Free Logic in Program Specification and Verification
inferred← citeshttps://doi.org/10.1007/978-94-017-0458-8_3openalex-snapshot
Free Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-0458-8_4openalex-snapshot
More Free Logic
inferred← citeshttps://doi.org/10.1007/s10849-006-9024-zopenalex-snapshot
Reference and perspective in intuitionistic logics
inferred← citeshttps://doi.org/10.1007/s10992-007-9068-9openalex-snapshot
TRUTH AS AN EPISTEMIC IDEAL
inferred← citeshttps://doi.org/10.1007/s11225-025-10226-5openalex-snapshot
Carl J. Posy, Mathematical Intuitionism, part of series: Cambridge Elements in the Philosophy of Mathematics, Cambridge University Press, 2020; 10.1017/9781108674485.
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.1016/b978-044451541-4/50027-0openalex-snapshot
Free Logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80013-6openalex-snapshot
Free Logics
inferred← citeshttps://doi.org/10.1017/9781108674485openalex-snapshot
Mathematical Intuitionism
inferred← citeshttps://doi.org/10.1080/0020174x.2019.1651095openalex-snapshot
The infinite, the indefinite and the critical turn: Kant via Kripke models
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.