On the public citation graph
First degree entailments
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.1002/malq.19600060709openalex-snapshot
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
inferredcites →https://doi.org/10.1002/malq.19600060710openalex-snapshot
EQ and the First Order Functional Calculus
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1201/b13782-17openalex-snapshot
An Introduction to Mathematical Logic
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2963898openalex-snapshot
A simple treatment of truth functions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19680141305openalex-snapshot
An Undecidability Result in the Theory of Relevant Implication
inferred← citeshttps://doi.org/10.1007/978-1-4020-9084-4_8openalex-snapshot
Processing Information from a Set of Sources
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_4openalex-snapshot
How a Computer Should Think
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_5openalex-snapshot
A Useful Four-Valued Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-68436-5_27-1openalex-snapshot
Paraconsistency, Evidence, and Abduction
inferred← citeshttps://doi.org/10.1007/978-3-031-10135-9_27openalex-snapshot
Paraconsistency, Evidence, and Abduction
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_9openalex-snapshot
Conjunctive and Disjunctive Parts
inferred← citeshttps://doi.org/10.1007/978-3-662-48561-3_2openalex-snapshot
Game Theoretical Semantics for Paraconsistent Logics
inferred← citeshttps://doi.org/10.1007/978-94-009-8356-4_13openalex-snapshot
Entailment and the disjunctive syllogism
inferred← citeshttps://doi.org/10.1007/978-94-009-9407-2_3openalex-snapshot
Rescher’s Hypothetical Reasoning: An Amendment
inferred← citeshttps://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot
A Useful Four-Valued Logic
inferred← citeshttps://doi.org/10.1007/bf00244354openalex-snapshot
A decidable first-order logic for knowledge representation
inferred← citeshttps://doi.org/10.1007/bf00370443openalex-snapshot
Alternative semantics for quantified first degree relevant logic
inferred← citeshttps://doi.org/10.1007/bf00935749openalex-snapshot
Perfect validity, entailment and paraconsistency
inferred← citeshttps://doi.org/10.1007/bf02052953openalex-snapshot
Homomorphisms of intensionally complemented distributive lattices
inferred← citeshttps://doi.org/10.1007/bfb0018451openalex-snapshot
A computationally attractive first-order logic of belief
inferred← citeshttps://doi.org/10.1007/s10992-011-9178-2openalex-snapshot
On AGM for Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/s10992-019-09533-9openalex-snapshot
Truthmaker Semantics for Relevant Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09662-8openalex-snapshot
Valuation Semantics for First-Order Logics of Evidence and Truth
inferred← citeshttps://doi.org/10.1007/s10992-022-09679-zopenalex-snapshot
Neutral Free Logic: Motivation, Proof Theory and Models
inferred← citeshttps://doi.org/10.1007/s10992-025-09783-wopenalex-snapshot
On Universally Free First-Order Extensions of Belnap-Dunn’s Four-Valued Logic and Nelson’s Paraconsistent Logic $$N{4}$$
inferred← citeshttps://doi.org/10.1007/s11225-017-9714-3openalex-snapshot
Paraconsistent Logic, Evidence, and Justification
inferred← citeshttps://doi.org/10.1007/s11225-017-9748-6openalex-snapshot
40 years of FDE: An Introductory Overview
inferred← citeshttps://doi.org/10.1007/s11225-017-9752-xopenalex-snapshot
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
inferred← citeshttps://doi.org/10.1007/s11225-024-10143-zopenalex-snapshot
Variable Domain First-Order First-Degree Entailment and Some of Its Children
inferred← citeshttps://doi.org/10.1007/s11229-016-1230-xopenalex-snapshot
The very idea of a substructural approach to paradox
inferred← citeshttps://doi.org/10.1007/s11229-020-02571-wopenalex-snapshot
Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic
inferred← citeshttps://doi.org/10.1007/s11229-025-05385-wopenalex-snapshot
“Yes,” “No,” neither, and both
inferred← citeshttps://doi.org/10.1007/s11787-018-0214-7openalex-snapshot
Pecularities of Some Three- and Four-Valued Second Order Logics
inferred← citeshttps://doi.org/10.1007/s11787-022-00306-8openalex-snapshot
First-order Logics of Evidence and Truth with Constant and Variable Domains
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90044-2openalex-snapshot
Limited reasoning in first-order knowledge bases
inferred← citeshttps://doi.org/10.1016/j.artint.2013.06.001openalex-snapshot
Minimal change: Relevance and recovery revisited
inferred← citeshttps://doi.org/10.1016/j.ijar.2022.10.006openalex-snapshot
Paraconsistent inference relations induced from inconsistency measures
inferred← citeshttps://doi.org/10.1017/bsl.2021.65openalex-snapshot
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
inferred← citeshttps://doi.org/10.1017/s1755020315000258openalex-snapshot
ON THE LOGIC OF FACTUAL EQUIVALENCE
inferred← citeshttps://doi.org/10.1080/00048407412341111openalex-snapshot
Critique of the Routleys' first degree semantics
inferred← citeshttps://doi.org/10.1080/11663081.2016.1225488openalex-snapshot
Game theoretical semantics for some non-classical logics
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1988.tb00278.xopenalex-snapshot
Reasoning about knowledge and belief: a survey
inferred← citeshttps://doi.org/10.1305/ndjfl/1093883249openalex-snapshot
First-degree entailments and information.
inferred← citeshttps://doi.org/10.17265/2159-5291/2015.02.002openalex-snapshot
Atomic Entailment and Atomic Inconsistency and Classical Entailment
inferred← citeshttps://doi.org/10.2307/2271239openalex-snapshot
Intensional models for first degree formulas
inferred← citeshttps://doi.org/10.23811/47.arg2017.jagopenalex-snapshot
Propositions as Truthmaker Conditions
inferred← citeshttps://doi.org/10.3233/fi-2011-615openalex-snapshot
Finite-valued Logics for Information Processing
inferred← citeshttps://doi.org/10.48550/arxiv.2106.09850openalex-snapshot
Valuation semantics for first-order logics of evidence and truth (and some related logics)
inferred← citeshttps://doi.org/10.7561/sacs.2023.2.159openalex-snapshot
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values
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.