On the public citation graph
Natural deduction and arbitrary objects
0 signed · 73 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.1007/bf02548936openalex-snapshot
A logical system based on rules and its application in teaching mathematical logic
inferredcites →https://doi.org/10.1093/aristoteliansupp/57.1.55openalex-snapshot
A Defence of Arbitrary Objects
inferredcites →https://doi.org/10.1093/mind/lxx.278.235openalex-snapshot
QUANTIFIER RULES AND NATURAL DEDUCTION
inferredcites →https://doi.org/10.1093/mind/lxxiv.296.594openalex-snapshot
A FURTHER NOTE ON NATURAL DEDUCTION
inferredcites →https://doi.org/10.2307/2183653openalex-snapshot
Logic: Techniques of Formal Reasoning.
inferredcites →https://doi.org/10.2307/2964054openalex-snapshot
Sur la structuration du tableau des connectifs interpropositionnels binaires
inferredcites →https://doi.org/10.2307/2964055openalex-snapshot
A theory of restricted quantification I
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-61208-4_3openalex-snapshot
Interpolation for a sequent calculus of generalized quantifiers
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_29openalex-snapshot
Russell and Fine on Variable Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_7openalex-snapshot
Fine’s Semantics for Relevance Logic and Its Relevance
inferred← citeshttps://doi.org/10.1007/978-3-319-24756-4_7openalex-snapshot
Naturalizing Natural Deduction
inferred← citeshttps://doi.org/10.1007/978-981-96-8566-0_6openalex-snapshot
Measurement-Theoretic Foundations of Logic of Epistemic Modals
inferred← citeshttps://doi.org/10.1007/bf00249674openalex-snapshot
Semantics for quantified relevance logic
inferred← citeshttps://doi.org/10.1007/bf00431186openalex-snapshot
Natural deduction and Hilbert's ?-operator
inferred← citeshttps://doi.org/10.1007/bf00974105openalex-snapshot
Natural language processing using a propositional semantic network with structured variables
inferred← citeshttps://doi.org/10.1007/bf01049411openalex-snapshot
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
inferred← citeshttps://doi.org/10.1007/s10670-025-00996-8openalex-snapshot
First-Order Aboutness Theory
inferred← citeshttps://doi.org/10.1007/s10992-018-9490-1openalex-snapshot
Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective
inferred← citeshttps://doi.org/10.1007/s10992-021-09603-xopenalex-snapshot
Identity in Mares-Goldblatt Models for Quantified Relevant Logic
inferred← citeshttps://doi.org/10.1007/s10992-021-09604-wopenalex-snapshot
Grounding, Quantifiers, and Paradoxes
inferred← citeshttps://doi.org/10.1007/s10992-025-09803-9openalex-snapshot
Objectual Quantifier Theory
inferred← citeshttps://doi.org/10.1007/s11225-013-9535-yopenalex-snapshot
Are Logical Languages Compositional?
inferred← citeshttps://doi.org/10.1007/s11229-022-03856-yopenalex-snapshot
Ante rem structuralism and the semantics of instantial terms
inferred← citeshttps://doi.org/10.1016/j.jal.2005.12.004openalex-snapshot
Defining answer classes using resolution refutation
inferred← citeshttps://doi.org/10.1016/j.lingua.2011.10.008openalex-snapshot
Collocation, interpretation and explanation: The case of just any
inferred← citeshttps://doi.org/10.1017/9781139600293openalex-snapshot
The Metaphysics and Mathematics of Arbitrary Objects
inferred← citeshttps://doi.org/10.1017/9781139600293.006openalex-snapshot
Mathematical Objects as Arbitrary Objects
inferred← citeshttps://doi.org/10.1017/9781139600293.010openalex-snapshot
Generic Systems and Mathematical Structuralism
inferred← citeshttps://doi.org/10.1017/9781139600293.011openalex-snapshot
Reasoning about Generic ω-Sequences
inferred← citeshttps://doi.org/10.1017/9781139600293.012openalex-snapshot
Probability and Random Variables
inferred← citeshttps://doi.org/10.1017/9781139600293.013openalex-snapshot
Directions for Future Research
inferred← citeshttps://doi.org/10.1017/cbo9780511814273.011openalex-snapshot
Logical Approaches to Human Deductive Reasoning
inferred← citeshttps://doi.org/10.1017/s1755020319000558openalex-snapshot
DISTANCES BETWEEN FORMAL THEORIES
inferred← citeshttps://doi.org/10.1023/a:1004275029985openalex-snapshot
Modal Languages and Bounded Fragments of Predicate Logic
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.001.0001openalex-snapshot
Reason and Inquiry
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.003.0002openalex-snapshot
Core Reasoning and Erotetic Equilibrium
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.003.0003openalex-snapshot
Conditionals and Information Source Selection
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.003.0004openalex-snapshot
Predicate Reasoning
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.003.0005openalex-snapshot
Reasoning with Uncertainty
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.003.0006openalex-snapshot
Decision and Practical Reasoning
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.005.0001openalex-snapshot
Formulas and Definitions
inferred← citeshttps://doi.org/10.1093/oso/9780198823766.005.0002openalex-snapshot
Meta-theory for Chapters 4 and 5
inferred← citeshttps://doi.org/10.1111/theo.70077openalex-snapshot
Arbitrary Reference and Weak Discernibility
inferred← citeshttps://doi.org/10.13140/rg.2.1.2855.5769openalex-snapshot
Existence Assumptions and Logical Principles : Choice Operators in Intuitionistic Logic
inferred← citeshttps://doi.org/10.1609/aaai.v29i1.9229openalex-snapshot
Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner
inferred← citeshttps://doi.org/10.2307/2275797openalex-snapshot
Generalized quantification as substructural logic
inferred← citeshttps://doi.org/10.32995/cogency.v13i2.366openalex-snapshot
How universal generalization works according to natural reason
inferred← citeshttps://doi.org/10.48550/arxiv.cmp-lg/9406026openalex-snapshot
The Very Idea of Dynamic Semantics
inferred← citeshttps://doi.org/10.70675/3c7efdf6z206cz4554z9fcbz4239a3c4953eopenalex-snapshot
Developing proof theory for proof exchange
inferred← citeshttps://doi.org/10.7551/mitpress/4286.003.0008openalex-snapshot
Logic and Control: How They Determine the Behaviour of Presuppositions
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.