On the public citation graph
On a second order propositional operator in intuitionistic logic
0 signed · 27 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-94-009-9056-2_5openalex-snapshot
Constructivist Approaches to Logic
inferredcites →https://doi.org/10.1007/bf02121119openalex-snapshot
On some new intuitionistic propositional connectives. I
inferredcites →https://doi.org/10.1007/bfb0066739openalex-snapshot
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
inferredcites →https://doi.org/10.1016/0003-4843(70)90001-xopenalex-snapshot
Formal systems for some branches of intuitionistic analysis
inferredcites →https://doi.org/10.1016/s0049-237x(08)71255-2openalex-snapshot
A Class of Intuitionistic Connectives
inferredcites →https://doi.org/10.1016/s0049-237x(08)71629-xopenalex-snapshot
Projections of Lawless Sequences II
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7022-3openalex-snapshot
Intuitionism an Introduction
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7073-9openalex-snapshot
Intuitionism An Introduction
inferredcites →https://doi.org/10.1016/s1385-7258(66)50036-1openalex-snapshot
On the connection of partially ordered sets with some pseudo-Boolean algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1976-0390140-4openalex-snapshot
Connectivity of an Interval
inferredcites →https://doi.org/10.2307/2963526openalex-snapshot
On formulas of one variable in intuitionistic propositional calculus
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-94-009-9056-2_5openalex-snapshot
Constructivist Approaches to Logic
inferred← citeshttps://doi.org/10.1007/bf01053024openalex-snapshot
Second order propositional operators over cantor space
inferred← citeshttps://doi.org/10.1007/bf01137476openalex-snapshot
Semantic characterization of intuitionistic logical connectives
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103555openalex-snapshot
Proof-theoretic methods in quantifier-free definability
inferred← citeshttps://doi.org/10.1016/j.indag.2018.06.005openalex-snapshot
The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70146-6openalex-snapshot
An Application of Projections of Lawless Sequences
inferred← citeshttps://doi.org/10.1023/a:1012264614940openalex-snapshot
The Pleasures of Anticipation: Enriching Intuitionistic Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1039118868openalex-snapshot
Pitts' Quantifiers Are Not Topological Quantification
inferred← citeshttps://doi.org/10.1305/ndjfl/1039724892openalex-snapshot
Propositional Quantification in the Topological Semantics for S4
inferred← citeshttps://doi.org/10.2307/2586601openalex-snapshot
Propositional quantification in the monadic fragment of intuitionistic logic
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.