Paper Citation Record · LEDGER

Meaning as Use, Application, Employment, Purpose, Usefulness

As of 7 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2506.07131.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.07131 v2

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:47:56.069947Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact5
verified fuzzy18
unresolved3
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation db8637fc-2169-45d9-b758-2c0dbcdd5c8e · outbound

This paper cites A set of postulates for the foundation of logic.Annals of Mathematics, Series 2, 33:346–366,.

Meaning as Use, Application, Employment, Purpose, Usefulness A set of postulates for the foundation of logic.Annals of Mathematics, Series 2, 33:346–366,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.662958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 70ef2b67-cbd4-4444-9cdf-76e7120b025b · outbound

This paper cites 345–363,.

Meaning as Use, Application, Employment, Purpose, Usefulness 345–363,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.652002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f99a9e91-47e4-4e10-9184-0831453da036 · outbound

This paper cites Hintikka, M.

Meaning as Use, Application, Employment, Purpose, Usefulness Hintikka, M

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.620621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d154b2f6-5471-4328-942a-b304787f7cd2 · outbound

This paper cites The Theory of an Arbitrary Higherλ- Model.

Meaning as Use, Application, Employment, Purpose, Usefulness The Theory of an Arbitrary Higherλ- Model

Reference 13

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T05:47:56.374917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation faba7b8b-d41b-48c6-9c04-ef4ce6f67b77 · outbound

This paper cites Validity of Inferences Reconsidered.

Meaning as Use, Application, Employment, Purpose, Usefulness Validity of Inferences Reconsidered

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T05:47:56.112915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 134db7b2-0bb2-430d-bd37-7d2d7eac069f · outbound

This paper cites https://doi.org/10.1007/978-94-011-4574-9 10 de Queiroz, R.J.G.B., Maibaum, T.S.E.

Meaning as Use, Application, Employment, Purpose, Usefulness https://doi.org/10.1007/978-94-011-4574-9 10 de Queiroz, R.J.G.B., Maibaum, T.S.E

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T05:47:56.101473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3540a832-4c31-432e-a6b8-053e84a77a5f · outbound

This paper cites an unresolved cited work.

Meaning as Use, Application, Employment, Purpose, Usefulness Unresolved cited work

Reference 28

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:47:56.222617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 611797bc-ed24-44b1-ae8a-35c5776deb09 · outbound

This paper cites The Strategic Balance of Games in Logic.

Meaning as Use, Application, Employment, Purpose, Usefulness The Strategic Balance of Games in Logic

Reference 30

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T05:47:56.146365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 83c7e455-bcd7-421a-86c2-26968f075d28 · outbound

This paper cites Edited by the Wittgenstein Archives at the University of Bergen (W AB) under the direction of Alois Pichler.

Meaning as Use, Application, Employment, Purpose, Usefulness Edited by the Wittgenstein Archives at the University of Bergen (W AB) under the direction of Alois Pichler

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.464133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7ee77555-1666-4633-8793-36054c27746f · outbound

This paper cites de Queiroz, R.J.G.B., de Oliveira, A.G., Gabbay, D.M.

Meaning as Use, Application, Employment, Purpose, Usefulness de Queiroz, R.J.G.B., de Oliveira, A.G., Gabbay, D.M

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.487571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7257c2de-e396-46c9-bd31-128d6ee6ac98 · outbound

This paper cites VII + 298 pp 27 Lorenzen, P.

Meaning as Use, Application, Employment, Purpose, Usefulness VII + 298 pp 27 Lorenzen, P

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.586578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7aafd331-3484-4a01-92c6-fe536a36fbd4 · outbound

This paper cites I.Math Z39, 176–210.

Meaning as Use, Application, Employment, Purpose, Usefulness I.Math Z39, 176–210

Reference 1935

Resolution: unresolved; no resolver link, observed 2026-08-07T05:47:55.973085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce3b193a-fc53-47bd-b4b4-e78560a8fb85 · outbound

This paper cites 1991.The Logical Basis of Metaphysics, Harvard University Press, Cambridge (Mass.).

Meaning as Use, Application, Employment, Purpose, Usefulness 1991.The Logical Basis of Metaphysics, Harvard University Press, Cambridge (Mass.)

Reference 1936

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.641737Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 66898f64-944e-4625-babd-aff150ba3c09 · outbound

This paper cites Konstruktive Begr ¨undung der Mathematik.

Meaning as Use, Application, Employment, Purpose, Usefulness Konstruktive Begr ¨undung der Mathematik

Reference 1950

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.598444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ae01780f-a836-4a25-b3d5-88f3842a1730 · outbound

This paper cites 2013.Basic Laws of Arithmetic, Ph.

Meaning as Use, Application, Employment, Purpose, Usefulness 2013.Basic Laws of Arithmetic, Ph

Reference 1965

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.631509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7eaf374e-43b9-4e09-a309-5c6bf86c392f · outbound

This paper cites InThe Kleene Symposium, J.

Meaning as Use, Application, Employment, Purpose, Usefulness InThe Kleene Symposium, J

Reference 1970

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.476337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d15526b2-d052-49b4-8cf4-9abd1fa1da10 · outbound

This paper cites 1965.Natural Deduction: A Proof-Theoretical Study.

Meaning as Use, Application, Employment, Purpose, Usefulness 1965.Natural Deduction: A Proof-Theoretical Study

Reference 1975

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.559934Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d7a84760-7395-47e5-acab-83613d8e3994 · outbound

This paper cites The formulae-as-types notion of construction.

Meaning as Use, Application, Employment, Purpose, Usefulness The formulae-as-types notion of construction

Reference 1980

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.609877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b33161f5-5151-4730-b1ab-0285fad3e623 · outbound

This paper cites Note on Frege’s notions of definition and the relationship proof the- ory vs. recursion theory (Extended Abstract).

Meaning as Use, Application, Employment, Purpose, Usefulness Note on Frege’s notions of definition and the relationship proof the- ory vs. recursion theory (Extended Abstract)

Reference 1987

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.547716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7f7179fb-6e5e-4032-809f-2a98cd32a36a · outbound

This paper cites Meaning, function, purpose, usefulness, consequences – intercon- nected concepts (abstract).

Meaning as Use, Application, Employment, Purpose, Usefulness Meaning, function, purpose, usefulness, consequences – intercon- nected concepts (abstract)

Reference 1989

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.534926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4f6c0005-e55d-4b8a-b990-3d54cac2cd5e · outbound

This paper cites Grundgesetze alongside Begriffsschrift (abstract).

Meaning as Use, Application, Employment, Purpose, Usefulness Grundgesetze alongside Begriffsschrift (abstract)

Reference 1992

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.522678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 199bcc1c-9829-4e0e-b273-bcded5c26415 · outbound

This paper cites Equality in Labelled Deductive Systems and the functional interpretation of propositional equality.

Meaning as Use, Application, Employment, Purpose, Usefulness Equality in Labelled Deductive Systems and the functional interpretation of propositional equality

Reference 1994

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.510529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4406ae03-36c3-4833-8512-98bfde529f14 · outbound

This paper cites The functional interpretation of modal necessity.

Meaning as Use, Application, Employment, Purpose, Usefulness The functional interpretation of modal necessity

Reference 1997

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.498913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1ff56a1f-50fa-4a37-af07-2824de3ebc1e · outbound

This paper cites A new basic set of proof transformations.

Meaning as Use, Application, Employment, Purpose, Usefulness A new basic set of proof transformations

Reference 2005

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:47:56.573239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2862e32b-664c-4bbd-b599-0ac0cdd360e2 · outbound

This paper cites From the Notebooks to the Investigations and Beyond.

Meaning as Use, Application, Employment, Purpose, Usefulness From the Notebooks to the Investigations and Beyond

Reference 2008

Resolution: malformed identifier; local_arxiv, observed 2026-08-07T05:47:56.304104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bca38bfa-93bd-45d4-b2f8-6293f5a47615 · outbound

This paper cites Verificationism Then and Now.

Meaning as Use, Application, Employment, Purpose, Usefulness Verificationism Then and Now

Reference 2013

Resolution: verified exact; doi, observed 2026-08-07T05:47:56.123159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 65e8e4de-ecad-4245-b971-dedc64274866 · outbound

This paper cites Propositional Equality, Identity Types, and Computational Paths.

Meaning as Use, Application, Employment, Purpose, Usefulness Propositional Equality, Identity Types, and Computational Paths

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-07T05:47:56.051658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8344e74-9289-4dc2-a4c0-c2cd8f3aa9b6 · outbound

This paper cites Convers ˜ao de Termos, Homo- topia, e Estrutura de Grup ´oide.

Meaning as Use, Application, Employment, Purpose, Usefulness Convers ˜ao de Termos, Homo- topia, e Estrutura de Grup ´oide

Reference 2021

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:47:56.286755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bb3cd282-c53d-446f-83ad-75c9cd752f81 · outbound

This paper cites The $K_\infty$ Homotopy $\lambda$-Model.

Meaning as Use, Application, Employment, Purpose, Usefulness The $K_\infty$ Homotopy $\lambda$-Model

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-07T05:47:56.008037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.