On the public citation graph
Peirce algebras
0 signed · 62 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.1006/inco.1997.2625openalex-snapshot
The Complexity of Concept Languages
inferredcites →https://doi.org/10.1007/3-540-09987-5openalex-snapshot
A Relational Theory of Computing
inferredcites →https://doi.org/10.1007/3-540-10003-2_83openalex-snapshot
A representation theorem for models of *-free PDL
inferredcites →https://doi.org/10.1007/3-540-11160-3_1openalex-snapshot
On the duality of dynamic algebras and kripke models
inferredcites →https://doi.org/10.1007/3-540-11160-3_4openalex-snapshot
Propositional dynamic logics of programs: A survey
inferredcites →https://doi.org/10.1007/3-540-45022-xopenalex-snapshot
Automata, Languages and Programming
inferredcites →https://doi.org/10.1007/3-540-54507-7_4openalex-snapshot
Relational proof systems for some AI logics
inferredcites →https://doi.org/10.1007/978-94-009-9860-5_3openalex-snapshot
Variable-Free Semantics for Negations with Prosodic Variation
inferredcites →https://doi.org/10.1007/bf00260742openalex-snapshot
Variable-free semantics for anaphora
inferredcites →https://doi.org/10.1007/bfb0043079openalex-snapshot
Dynamic algebras as a well-behaved fragment of relation algebras
inferredcites →https://doi.org/10.1016/0004-3702(89)90036-2openalex-snapshot
A four-valued semantics for terminological logics
inferredcites →https://doi.org/10.1016/0004-3702(91)90078-xopenalex-snapshot
Attributive concept descriptions with complements
inferredcites →https://doi.org/10.1016/0020-0190(87)90106-2openalex-snapshot
The weakest prespecification
inferredcites →https://doi.org/10.1016/0020-0190(87)90224-9openalex-snapshot
Prespecification in data refinement
inferredcites →https://doi.org/10.1016/0022-0000(80)90007-0openalex-snapshot
A proof system for the first-order relational calculus
inferredcites →https://doi.org/10.1016/0168-0072(83)90055-6openalex-snapshot
A sequent calculus for relation algebras
inferredcites →https://doi.org/10.1016/0898-1221(92)90146-9openalex-snapshot
Subsumption computed algebraically
inferredcites →https://doi.org/10.1016/s0049-237x(06)80070-4openalex-snapshot
Logic and the flow of information
inferredcites →https://doi.org/10.1016/s0364-0213(85)80014-8openalex-snapshot
An Overview of the KL‐ONE Knowledge Representation System*
inferredcites →https://doi.org/10.1016/s1385-7258(55)50009-6openalex-snapshot
Contributions to the theory of models. III
inferredcites →https://doi.org/10.1111/j.1467-8640.1987.tb00175.xopenalex-snapshot
A hybrid, decidable, logic‐based knowledge representation system1
inferredcites →https://doi.org/10.1111/j.1467-8640.1991.tb00334.xopenalex-snapshot
The NIKL experience1
inferredcites →https://doi.org/10.1515/thli.1992.18.2-3.239openalex-snapshot
STATE TRANSITION SEMANTICS
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.5840/teachphil198143/422openalex-snapshot
Direct Inference in English
inferredcites →https://doi.org/10.7551/mitpress/4286.003.0004openalex-snapshot
A Note on Dynamic Arrow Logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2003.tb02617.xopenalex-snapshot
5.2.1 Systems Engineering and the Semantic Web
inferred← citeshttps://doi.org/10.1002/malq.201020057openalex-snapshot
Congruences and ideals on Boolean modules: a heterogeneous point of view
inferred← citeshttps://doi.org/10.1007/0-306-46991-x_4openalex-snapshot
Approaches to Concept Based Exploration of Information Resources
inferred← citeshttps://doi.org/10.1007/11787181_4openalex-snapshot
Ontological Constitutions for Classes and Properties
inferred← citeshttps://doi.org/10.1007/11964810_2openalex-snapshot
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
inferred← citeshttps://doi.org/10.1007/3-540-48659-3_29openalex-snapshot
Conceptual Graphs as Algebras - With an Application to Analogical Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-49545-2_18openalex-snapshot
A Mechanised Proof System for Relation Algebra Using Display Logic
inferred← citeshttps://doi.org/10.1007/3-540-63172-0_40openalex-snapshot
Cut-free display calculi for relation algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-74826-5_5openalex-snapshot
A Framework for the Approximation of Relations
inferred← citeshttps://doi.org/10.1007/978-3-0348-0600-8_6openalex-snapshot
Diagrammatic Reasoning with Classes and Relationships
inferred← citeshttps://doi.org/10.1007/978-3-540-24771-5_21openalex-snapshot
Two Proof Systems for Peirce Algebras
inferred← citeshttps://doi.org/10.1007/978-3-540-45091-7_5openalex-snapshot
Intensional Formalization of Conceptual Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-21070-9_3openalex-snapshot
Synthesising Terminating Tableau Calculi for Relational Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-24764-4_9openalex-snapshot
Querying Class-Relationship Logic in a Metalogic Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-37651-1_15openalex-snapshot
First-Order Resolution Methods for Modal Logics
inferred← citeshttps://doi.org/10.1007/pl00003923openalex-snapshot
Unification of Four Versions of Program Semantics
inferred← citeshttps://doi.org/10.1007/s10472-009-9155-4openalex-snapshot
A new methodology for developing deduction methods
inferred← citeshttps://doi.org/10.1016/j.biosystems.2008.01.002openalex-snapshot
Objective patterns in the evolving network of non-equivalent observers
inferred← citeshttps://doi.org/10.1016/s0020-0255(01)00166-9openalex-snapshot
Multigrade extension of relational grammar
inferred← citeshttps://doi.org/10.1016/s0169-023x(03)00105-8openalex-snapshot
Content-based text querying with ontological descriptors
inferred← citeshttps://doi.org/10.1016/s0169-023x(03)00107-1openalex-snapshot
Grammatical specification of domain ontologies
inferred← citeshttps://doi.org/10.1017/s135132491100009xopenalex-snapshot
Regular relations for temporal propositions
inferred← citeshttps://doi.org/10.1023/a:1004295308014openalex-snapshot
A System of Dynamic Modal Logic
inferred← citeshttps://doi.org/10.1109/imcsit.2009.5352712openalex-snapshot
Ontological semantics in modified categorial grammar
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.