On the public citation graph

On some new intuitionistic propositional connectives. I

https://doi.org/10.1007/bf02121119
0 signed · 34 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/bf02015377openalex-snapshot
On 2nd order intuitionistic propositional calculus with full comprehension
inferredcites →https://doi.org/10.1016/s1385-7258(71)80036-7openalex-snapshot
An extension of the intuitionsitic propositional calculus
inferredcites →https://doi.org/10.18778/0138-0680openalex-snapshot
Bulletin of the Section of Logic
inferredcites →https://doi.org/10.2307/2271511openalex-snapshot
Logical connectives for intuitionistic propositional logic

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-5203-4_4openalex-snapshot
Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_5openalex-snapshot
Constructivist Approaches to Logic
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-94-015-8733-4_6openalex-snapshot
A Formal Ontology of Situations
inferred← citeshttps://doi.org/10.1007/978-94-017-0458-8_1openalex-snapshot
Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_17openalex-snapshot
Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1007/bf01137476openalex-snapshot
Semantic characterization of intuitionistic logical connectives
inferred← citeshttps://doi.org/10.1007/bf01874704openalex-snapshot
On a second order propositional operator in intuitionistic logic
inferred← citeshttps://doi.org/10.1007/bf02110566openalex-snapshot
The Smetanich logic 745-01745-01745-01and two definitions of a new intuitionistic connective
inferred← citeshttps://doi.org/10.1007/bf02320369openalex-snapshot
On the completeness of a new intuitionistic connective
inferred← citeshttps://doi.org/10.1007/bf02732374openalex-snapshot
On an extension of Gabbay’s logic
inferred← citeshttps://doi.org/10.1007/s00012-015-0317-4openalex-snapshot
Compatible operations on commutative weak residuated lattices
inferred← citeshttps://doi.org/10.1007/s00012-016-0381-4openalex-snapshot
Principal congruences in weak Heyting algebras
inferred← citeshttps://doi.org/10.1007/s00500-019-03995-4openalex-snapshot
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
inferred← citeshttps://doi.org/10.1007/s10469-021-09618-yopenalex-snapshot
Irreflexive Modality on a Chain of Type ω and P. S. Novikov Completeness
inferred← citeshttps://doi.org/10.1007/s10992-022-09655-7openalex-snapshot
What is a Relevant Connective?
inferred← citeshttps://doi.org/10.1007/s11225-011-9333-3openalex-snapshot
Compatible Operations on Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11225-011-9338-yopenalex-snapshot
On Some Compatible Operations on Heyting Algebras
inferred← citeshttps://doi.org/10.1007/s11225-018-9796-6openalex-snapshot
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103555openalex-snapshot
Proof-theoretic methods in quantifier-free definability
inferred← citeshttps://doi.org/10.1016/s0049-237x(03)80019-8openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1017/s1079898600010738openalex-snapshot
XV Latin American Symposium on Mathematical Logic (Slalm 2012)
inferred← citeshttps://doi.org/10.1093/jigpal/jzu031openalex-snapshot
On frontal operators in Hilbert algebras
inferred← citeshttps://doi.org/10.1093/jigpal/jzz020openalex-snapshot
Gentzen sequent calculi for some intuitionistic modal logics
inferred← citeshttps://doi.org/10.12775/llp.2009.001openalex-snapshot
On univocal connectives
inferred← citeshttps://doi.org/10.1305/ndjfl/1093637931openalex-snapshot
Nonstandard connectives of intuitionistic propositional logic.
inferred← citeshttps://doi.org/10.2307/2694965openalex-snapshot
An algebraic approach to intuitionistic connectives
inferred← citeshttps://doi.org/10.3166/jancl.16.349-366openalex-snapshot
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
inferred← citeshttps://doi.org/10.35537/10915/2707openalex-snapshot
Álgebras de Heyting con sucesor
inferred← citeshttps://doi.org/10.4213/mzm1842openalex-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.