Paper Citation Record · LEDGER

Fuzzy Lattice-based Description Logic

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

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

pith.paper-citation-record.v1
2506.05833 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:26:44.295101Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

25 of 25 outbound references displayed

verified exact6
verified fuzzy7
unresolved7
parse uncertain0
malformed identifier1
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation aa4959a3-315f-4b2e-8ec9-f586d28752ae · outbound

This paper cites IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(5), pp.

Fuzzy Lattice-based Description Logic IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(5), pp

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:26:44.698247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c16c403c-ccb4-427e-855e-18d67e0d1cb8 · outbound

This paper cites Cambridge university press.

Fuzzy Lattice-based Description Logic Cambridge university press

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.807650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a760b998-2205-4cef-af56-c42d6c347e2b · outbound

This paper cites Cambridge University Press, doi:10.1017/9781139025355.

Fuzzy Lattice-based Description Logic Cambridge University Press, doi:10.1017/9781139025355

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T10:26:44.217327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5e79f90-8efe-415d-99f6-eba25ec12be2 · outbound

This paper cites Concept Lattices, pp.

Fuzzy Lattice-based Description Logic Concept Lattices, pp

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T10:26:44.395437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9d823d9c-bd23-471d-933b-e01c9417f0dc · outbound

This paper cites Mathematical Logic Quarterly 45(4), pp.

Fuzzy Lattice-based Description Logic Mathematical Logic Quarterly 45(4), pp

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T10:26:44.384999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 72d0597f-bbbf-4adc-87fd-114df3b9c175 · outbound

This paper cites Manoorkar, Alessandra Palmigiano & Mattia Panettiere (2023): Labelled Calculi for the Logics of Rough Concepts.

Fuzzy Lattice-based Description Logic Manoorkar, Alessandra Palmigiano & Mattia Panettiere (2023): Labelled Calculi for the Logics of Rough Concepts

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T10:26:44.374140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3e72e6ff-1b5e-47bc-a47d-6cd2766b4818 · outbound

This paper cites In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , Springer Nature Switzerland Cham, pp.

Fuzzy Lattice-based Description Logic In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , Springer Nature Switzerland Cham, pp

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T10:26:44.361710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1cb96628-65bc-4dc8-8784-4b048be339be · outbound

This paper cites Non-distributive description logic.

Fuzzy Lattice-based Description Logic Non-distributive description logic

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:26:44.624453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0b6b000e-1966-4de6-8f1c-422d9c77e0d6 · outbound

This paper cites Information Sciences 561, pp.

Fuzzy Lattice-based Description Logic Information Sciences 561, pp

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.797516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 546419c9-76f1-4979-a5c5-03e1398a6aeb · outbound

This paper cites In: Logic, Language, Information, and Computation: 23rd Internation al Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016.

Fuzzy Lattice-based Description Logic In: Logic, Language, Information, and Computation: 23rd Internation al Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T10:26:44.348273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bcd1e58f-d867-4c80-8e96-9a2221075feb · outbound

This paper cites Toward an Epistemic-Logical Theory of Categorization.

Fuzzy Lattice-based Description Logic Toward an Epistemic-Logical Theory of Categorization

Reference 11

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T10:26:44.610953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 91ceff8c-96fb-43cc-b9ae-75d452e8a2c0 · outbound

This paper cites The logic of vague categories.

Fuzzy Lattice-based Description Logic The logic of vague categories

Reference 12

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T10:26:44.596857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 92415186-0ee6-4e0e-9287-f69c795c91e8 · outbound

This paper cites Non-distributive logics: from semantics to meaning.

Fuzzy Lattice-based Description Logic Non-distributive logics: from semantics to meaning

Reference 13

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T10:26:44.582669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4acb5f7e-1c66-461c-a0e0-be2de4fe04b1 · outbound

This paper cites In: In General Lattice Theory, G.

Fuzzy Lattice-based Description Logic In: In General Lattice Theory, G

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.786627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b6b02861-b800-4330-ab91-d9c66e639f7f · outbound

This paper cites Springer Science & Business Media.

Fuzzy Lattice-based Description Logic Springer Science & Business Media

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.776670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation aa5afc59-497a-4a73-ba41-7fec8d0b9bf9 · outbound

This paper cites Journal of Logic and Computation 28(7), p.

Fuzzy Lattice-based Description Logic Journal of Logic and Computation 28(7), p

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.763480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0876810b-e435-4805-b440-eacf6a0530b4 · outbound

This paper cites Kluwer Academic Publishers, Dordrecht, Boston and London, doi:10.1007/978-94-011-5300-3.

Fuzzy Lattice-based Description Logic Kluwer Academic Publishers, Dordrecht, Boston and London, doi:10.1007/978-94-011-5300-3

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T10:26:44.266650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49fdda2c-e5ae-437f-b956-6afce1c67645 · outbound

This paper cites Knowledge-Based Systems 186, doi:10.1016/j.knosys.2019.104967.

Fuzzy Lattice-based Description Logic Knowledge-Based Systems 186, doi:10.1016/j.knosys.2019.104967

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T10:26:44.269951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9988228c-d939-4a8e-bb3f-861a2298df8b · outbound

This paper cites Kuznetsov Jonas Poelmans, Dmitry I.

Fuzzy Lattice-based Description Logic Kuznetsov Jonas Poelmans, Dmitry I

Reference 19

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:26:44.488345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 03f2ae6b-5152-460e-a6f8-8367c5a0b86b · outbound

This paper cites Expert systems with applications 40(16), pp.

Fuzzy Lattice-based Description Logic Expert systems with applications 40(16), pp

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T10:26:44.276522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbfd231f-3256-4ee8-8abf-edd4fc0cc993 · outbound

This paper cites an unresolved cited work.

Fuzzy Lattice-based Description Logic Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:26:44.752797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a668cbac-8604-470f-98da-ed8efa85e855 · outbound

This paper cites an unresolved cited work.

Fuzzy Lattice-based Description Logic Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:26:44.742300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b565274d-0f6d-4c0e-a543-2d66fbf40d76 · outbound

This paper cites an unresolved cited work.

Fuzzy Lattice-based Description Logic Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:26:44.732116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1bcdc0c9-e730-4886-9c08-d30c8d8f20d8 · outbound

This paper cites This concludes the proof.

Fuzzy Lattice-based Description Logic This concludes the proof

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.721102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ee2d493d-1914-43ee-a38e-73c2068e832d · outbound

This paper cites By substituting these deﬁnitions in ABox and running Algori thm 2, we get a model for K using con- struction described in Section 6.

Fuzzy Lattice-based Description Logic By substituting these deﬁnitions in ABox and running Algori thm 2, we get a model for K using con- struction described in Section 6

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:26:44.709600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.