On the public citation graph
Logic representation in LF
0 signed · 29 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/3-540-10007-5_41openalex-snapshot
The semantics of clear, a specification language
inferredcites →https://doi.org/10.1007/3-540-50325-0_3openalex-snapshot
Structuring theories on consequence
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_26openalex-snapshot
Introducing Institutions
inferredcites →https://doi.org/10.1007/bf00245294openalex-snapshot
Using typed lambda calculus to implement formal systems on a machine
inferredcites →https://doi.org/10.1016/0003-4843(74)90016-3openalex-snapshot
Axioms for abstract model theory
inferredcites →https://doi.org/10.1016/0022-0000(86)90057-7openalex-snapshot
Quasi-varieties in abstract algebraic institutions
inferredcites →https://doi.org/10.1016/0168-0072(86)90053-9openalex-snapshot
Generalised algebraic theories and contextual categories
inferredcites →https://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferredcites →https://doi.org/10.1016/0890-5401(91)90023-uopenalex-snapshot
Simple consequence relations
inferredcites →https://doi.org/10.1016/s0049-237x(08)70204-0openalex-snapshot
The Language Theory of Automath
inferredcites →https://doi.org/10.1109/lics.1989.39177openalex-snapshot
Structure and representation in LF
inferredcites →https://doi.org/10.1145/138027.138060openalex-snapshot
A framework for defining 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/3-540-57867-6_16openalex-snapshot
A semantic basis for logic-independent transformation
inferred← citeshttps://doi.org/10.1007/978-94-017-0464-9_1openalex-snapshot
Rewriting Logic as a Logical and Semantic Framework
inferred← citeshttps://doi.org/10.1007/bfb0014422openalex-snapshot
From abstract data types to logical frameworks
inferred← citeshttps://doi.org/10.1007/s10485-009-9211-6openalex-snapshot
Grothendieck Inclusion Systems
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90009-4openalex-snapshot
Structured theory presentations and logic representations
inferred← citeshttps://doi.org/10.1016/j.ipl.2008.04.001openalex-snapshot
A categorical study on the finiteness of specifications
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.03.001openalex-snapshot
An axiomatic approach to structuring specifications
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00160-0openalex-snapshot
May I borrow your logic? (Transporting logical structures along maps)
inferred← citeshttps://doi.org/10.1093/logcom/14.5.651openalex-snapshot
Elementary Diagrams in Institutions
showing the first 11 of 12 · page through all 12
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.