Paper Citation Record · LEDGER

Paraconsistent Relations as a Variant of Kleene Algebras

As of 8 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2506.05840.

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

pith.paper-citation-record.v1
2506.05840 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:24:25.559072Z

measured 40 of 40 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

40 of 40 outbound references displayed

verified exact19
verified fuzzy7
unresolved7
parse uncertain0
malformed identifier6
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a9db5ae6-4616-43e8-ab06-2bc5ac00bc11 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:26.996990Z

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 11aeaf46-1766-4b3f-a097-836e961e86f9 · outbound

This paper cites Paraconsistent Machines and their Relation to Quantum Computing.

Paraconsistent Relations as a Variant of Kleene Algebras Paraconsistent Machines and their Relation to Quantum Computing

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:24:26.017234Z

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 54538e5c-5b6f-4c95-a248-41cdf204b5dc · outbound

This paper cites Intelligent Systems Reference Library 110, Springer, doi:10.1007/978-3-319-40418-9.

Paraconsistent Relations as a Variant of Kleene Algebras Intelligent Systems Reference Library 110, Springer, doi:10.1007/978-3-319-40418-9

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.984321Z

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 ea25bd4c-5c3b-4bc1-bfd0-642dc854b2cf · outbound

This paper cites Backhouse, Dexter Kozen & Bernhard M¨ oller (20 02): Applications of Kleene Algebra (Dagstuhl Seminar 01081).

Paraconsistent Relations as a Variant of Kleene Algebras Backhouse, Dexter Kozen & Bernhard M¨ oller (20 02): Applications of Kleene Algebra (Dagstuhl Seminar 01081)

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.960563Z

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 c7f4aaeb-ac9b-44d6-952e-649dbc4c5b9f · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:25.322550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ec123fd-02d5-4b08-adef-10105fa7c270 · outbound

This paper cites ESSLLI course notes.

Paraconsistent Relations as a Variant of Kleene Algebras ESSLLI course notes

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.976980Z

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 ebe766c8-c179-4d4f-bce4-67d9148cb357 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:24:26.959898Z

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 1ceac9c1-7286-45e5-80be-5a9bc115e3ed · outbound

This paper cites Journal of Logic and Computation 21(5), pp.

Paraconsistent Relations as a Variant of Kleene Algebras Journal of Logic and Computation 21(5), pp

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.939454Z

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 b6b5ed91-efae-4a76-8323-cd6b68d45da1 · outbound

This paper cites algebra universalis 71, doi:10.1007/s00012-014-0265-4.

Paraconsistent Relations as a Variant of Kleene Algebras algebra universalis 71, doi:10.1007/s00012-014-0265-4

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.932963Z

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 2a2342f6-fcf3-4e86-9b8b-2158afbc2dde · outbound

This paper cites Stud Logica 110(4), pp.

Paraconsistent Relations as a Variant of Kleene Algebras Stud Logica 110(4), pp

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.910255Z

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 a8ed1240-d8df-4a0f-aa1c-693ca6e4a435 · outbound

This paper cites Menni & Marta Sagastume (2008): On Some Categories of Involutive Centered Residu- ated Lattices.

Paraconsistent Relations as a Variant of Kleene Algebras Menni & Marta Sagastume (2008): On Some Categories of Involutive Centered Residu- ated Lattices

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.890369Z

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 411b8eb2-b7e0-4d67-a5c2-43e4a5ec3022 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.871101Z

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 098ba280-1fa7-4a75-9a77-370937e5a378 · outbound

This paper cites Conway (1971): Regular Algebra and Finite Machines.

Paraconsistent Relations as a Variant of Kleene Algebras Conway (1971): Regular Algebra and Finite Machines

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.918849Z

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 60350e95-708d-4e38-aa51-e3e0aef09c3c · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.849332Z

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 280cdfaf-1c52-4feb-a726-f16b21eee4af · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 15

Resolution: verified exact; raw_fallback, observed 2026-08-07T10:24:26.626048Z

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 8a4b9a1a-06e8-411b-8667-cd75e01988ed · outbound

This paper cites In Andrzej Indrzejczak & Michal Zawidzki, editors: 10th International Conference on Non-Classical Logics.

Paraconsistent Relations as a Variant of Kleene Algebras In Andrzej Indrzejczak & Michal Zawidzki, editors: 10th International Conference on Non-Classical Logics

Reference 16

Resolution: malformed identifier; no resolver link, observed 2026-08-07T10:24:25.404544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a74a2003-12d1-461a-b5d5-b5991424c48d · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.817973Z

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 bb170132-f2f0-40dc-a9b3-4a706aca8dfb · outbound

This paper cites Barbosa (Ava ilable here): Paraconsistent transition structures: compositional principles and a modal logic.

Paraconsistent Relations as a Variant of Kleene Algebras Barbosa (Ava ilable here): Paraconsistent transition structures: compositional principles and a modal logic

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.895497Z

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 dd91bfb3-fa68-476b-8db7-a81d2ae63434 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.796256Z

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 d598f0e5-992b-4e10-b92c-3847b269c856 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 20

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:26.870007Z

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 ef39db4b-b576-4dbb-83b6-95c7cdfb256c · outbound

This paper cites Expert Systems with Applications 187, p.

Paraconsistent Relations as a Variant of Kleene Algebras Expert Systems with Applications 187, p

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:24:26.512783Z

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 4f4f38af-20c6-44be-a1fe-54d112c87a53 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 22

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:26.847800Z

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 249c8af7-b026-4ad9-95c7-c1f96027cc7d · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.772916Z

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 f2460dd0-fa76-47a9-a7f7-97d5d0922206 · outbound

This paper cites MIT Press, Cambridge, MA, USA, doi:10.7551/mitpress/2516.001.0001.

Paraconsistent Relations as a Variant of Kleene Algebras MIT Press, Cambridge, MA, USA, doi:10.7551/mitpress/2516.001.0001

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:25.453351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ee0c7a3-385d-4d4c-8e84-1be33ab3aa48 · outbound

This paper cites Kalman (1958): Lattices with involution.

Paraconsistent Relations as a Variant of Kleene Algebras Kalman (1958): Lattices with involution

Reference 25

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.736960Z

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 daf2884b-1cf3-46a4-8454-fcd9c4e84d13 · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:25.465272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7824a3a-0c6f-4b66-9f6a-ac57e917b540 · outbound

This paper cites Kozen (1992): The Design and Analysis of Algorithms.

Paraconsistent Relations as a Variant of Kleene Algebras Kozen (1992): The Design and Analysis of Algorithms

Reference 27

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.696389Z

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 dbc8a532-ab56-4301-9169-02706a3e8cf4 · outbound

This paper cites Kozen (1994): A Completeness Theorem for Kleene Algebras and the Algebra o f Regular Events.

Paraconsistent Relations as a Variant of Kleene Algebras Kozen (1994): A Completeness Theorem for Kleene Algebras and the Algebra o f Regular Events

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:25.480026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ecdf367-3bd6-4ba3-ba33-20b388e47cdb · outbound

This paper cites ACM Trans.

Paraconsistent Relations as a Variant of Kleene Algebras ACM Trans

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:25.486847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0942ac5-bab6-4f12-9630-81d4e0231f4f · outbound

This paper cites In John Lloyd, V eronica Dahl, Ulrich Furbach, Manfred Kerb er, Kung-Kiu Lau, Catuscia Palamidessi, Lu´ ıs Moniz Pereira, Y ehoshua Sagiv & Peter J.

Paraconsistent Relations as a Variant of Kleene Algebras In John Lloyd, V eronica Dahl, Ulrich Furbach, Manfred Kerb er, Kung-Kiu Lau, Catuscia Palamidessi, Lu´ ıs Moniz Pereira, Y ehoshua Sagiv & Peter J

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.825857Z

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 99d8997d-ed5f-49fb-9af8-4824f6c4f4ff · outbound

This paper cites Journal of Philosophical Logic 27(1), pp.

Paraconsistent Relations as a Variant of Kleene Algebras Journal of Philosophical Logic 27(1), pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.676472Z

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 dd2d0f77-c6a2-41f9-ba90-af9093aafeb6 · outbound

This paper cites Kuich & A.

Paraconsistent Relations as a Variant of Kleene Algebras Kuich & A

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.654485Z

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 13fbb365-733f-4e2b-9c86-ed4988e0cf71 · outbound

This paper cites In Clifford H.

Paraconsistent Relations as a Variant of Kleene Algebras In Clifford H

Reference 33

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:26.807553Z

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 4d0fea2b-4b88-4189-8eac-d60ab2cb07cf · outbound

This paper cites Quantum 2, p.

Paraconsistent Relations as a Variant of Kleene Algebras Quantum 2, p

Reference 34

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:26.787555Z

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 d18a674d-d86a-4faf-8884-34b913d66873 · outbound

This paper cites In Dov M.

Paraconsistent Relations as a Variant of Kleene Algebras In Dov M

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.635910Z

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 669c9c20-dff1-4a22-944e-d4ff5bb92aa3 · outbound

This paper cites Rasiowa & R.

Paraconsistent Relations as a Variant of Kleene Algebras Rasiowa & R

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.768732Z

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 5e14f106-770c-45cd-979c-0e8e6b4d0ffa · outbound

This paper cites Ukrainskii Matematicheskii Zhurnal 16(1).

Paraconsistent Relations as a Variant of Kleene Algebras Ukrainskii Matematicheskii Zhurnal 16(1)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:26.748590Z

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 527a039f-936a-4018-86bb-ae36b190444a · outbound

This paper cites an unresolved cited work.

Paraconsistent Relations as a Variant of Kleene Algebras Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:25.547528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 182efd60-7e69-4d97-be68-5471dec67685 · outbound

This paper cites The Journal of Symbolic Logic 6(3), pp.

Paraconsistent Relations as a Variant of Kleene Algebras The Journal of Symbolic Logic 6(3), pp

Reference 39

Resolution: verified exact; raw_fallback, observed 2026-08-07T10:24:26.153059Z

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 fe508d91-35c7-420e-a4cd-be9d5f5ea94b · outbound

This paper cites Wille (2006): Minimal V arieties of Involutive Residuated Lattices.

Paraconsistent Relations as a Variant of Kleene Algebras Wille (2006): Minimal V arieties of Involutive Residuated Lattices

Reference 40

Resolution: verified exact; doi, observed 2026-08-07T10:24:25.611022Z

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.

Pith citing papers

No inbound Pith citation observations are available.