On the public citation graph

On 2nd order intuitionistic propositional calculus with full comprehension

https://doi.org/10.1007/bf02015377

0 signed · 43 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-3-642-88664-5openalex-snapshot

Vollständige Systeme modaler und intuitionistischer Logik

inferredcites →https://doi.org/10.1111/j.1755-2567.1970.tb00432.xopenalex-snapshot

Propositional quantifiers in modal logic1

inferredcites →https://doi.org/10.2307/2270260openalex-snapshot

A logic stronger than intuitionism

inferredcites →https://doi.org/10.2307/2271730openalex-snapshot

The undecidability of intuitionistic theories of algebraically closed fields and real closed fields

inferredcites →https://doi.org/10.2307/2272556openalex-snapshot

Applications of trees to intermediate logics

inferredcites →https://doi.org/10.2307/2272747openalex-snapshot

Decidability of some intuitionistic predicate theories

inferredcites →https://doi.org/10.2307/2272980openalex-snapshot

Sufficient conditions for the undecidability of intuitionistic theories with applications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.200310090openalex-snapshot

A secondary semantics for Second Order Intuitionistic Propositional Logic

inferred← citeshttps://doi.org/10.1006/inco.2000.2941openalex-snapshot

A Sequent Calculus for Subtyping Polymorphic Types

inferred← citeshttps://doi.org/10.1007/3-540-61550-4_144openalex-snapshot

A sequent calculus for subtyping polymorphic types

inferred← citeshttps://doi.org/10.1007/3-540-62688-3_47openalex-snapshot

Inhabitation in typed lambda-calculi (a syntactic approach)

inferred← citeshttps://doi.org/10.1007/3-540-63385-5_48openalex-snapshot

Propositional quantification in intuitionistic logic

inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_7openalex-snapshot

Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change

inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot

Relevance Logic and Entailment

inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_2openalex-snapshot

Research Themes of Dov Gabbay

inferred← citeshttps://doi.org/10.1007/978-981-10-6355-8openalex-snapshot

Philosophical Logic: Current Trends in Asia

inferred← citeshttps://doi.org/10.1007/978-981-10-6355-8_9openalex-snapshot

On Second Order Propositional Intuitionistic Logics

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

A content semantics for quantified relevant logics. I

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

Positive modal logic

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

The intuitionistic propositional calculus with quantifiers

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

On some new intuitionistic propositional connectives. I

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

Quantification and RM

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

A content semantics for quantified relevant logics. II

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

Identity and existence in intuitionistic logic

inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80012-1openalex-snapshot

Second-order logic polymorphism

inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80018-2openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/s0168-0072(96)00034-6openalex-snapshot

Non-axiomatizable second order intuitionistic propositional logic

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

Propositional Quantifiers

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

COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS

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

Combining Possibilities and Negations

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

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

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

⊃E is Admissible in “true” relevant arithmetic

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

The existential fragment of second-order propositional intuitionistic logic is undecidable

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

Kripke Semantics for Intersection Formulas

inferred← citeshttps://doi.org/10.1184/r1/6723053openalex-snapshot

Some Results on Classical Semantics and Polymorphic Types

inferred← citeshttps://doi.org/10.1215/00294527-2010-029openalex-snapshot

A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic

inferred← citeshttps://doi.org/10.1215/00294527-2019-0001openalex-snapshot

A Note on Algebraic Semantics for S5 with Propositional Quantifiers

inferred← citeshttps://doi.org/10.1305/ndjfl/1039724892openalex-snapshot

Propositional Quantification in the Topological Semantics for S4

inferred← citeshttps://doi.org/10.2307/2272129openalex-snapshot

Craig interpolation theorem for intuitionistic logic and extensions Part III

inferred← citeshttps://doi.org/10.2307/2275545openalex-snapshot

On the complexity of propositional quantification in intuitionistic logic

inferred← citeshttps://doi.org/10.2307/2586601openalex-snapshot

Propositional quantification in the monadic fragment of intuitionistic logic

inferred← citeshttps://doi.org/10.3166/jancl.12.495-525openalex-snapshot

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic

inferred← citeshttps://doi.org/10.3166/jancl.16.457-483openalex-snapshot

Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras

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.