On the public citation graph

Symbolic Logic; an Introduction.

https://doi.org/10.2307/2020641
0 signed · 100 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.
Claim with ORCID
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.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_11openalex-snapshot
K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
inferred← citeshttps://doi.org/10.1007/978-3-030-94926-6_10openalex-snapshot
On a Proposed Solution of the Paradox of the Liar (1955)
inferred← citeshttps://doi.org/10.1007/978-3-031-52411-0_20openalex-snapshot
Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_4openalex-snapshot
Withered Relevance
inferred← citeshttps://doi.org/10.1007/978-3-319-11041-7_1openalex-snapshot
Prawitz, Proofs, and Meaning
inferred← citeshttps://doi.org/10.1007/978-3-319-11041-7_13openalex-snapshot
General-Elimination Harmony and Higher-Level Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6openalex-snapshot
Advances in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6_16openalex-snapshot
Open Problems in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-47958-3_13openalex-snapshot
Implementing Cantor’s Paradise
inferred← citeshttps://doi.org/10.1007/978-3-319-64551-3_3openalex-snapshot
Natural Deduction for Diagonal Operators
inferred← citeshttps://doi.org/10.1007/978-3-319-89366-2_14openalex-snapshot
Fitch-Style Modal Lambda Calculi
inferred← citeshttps://doi.org/10.1007/978-3-476-98727-3_4openalex-snapshot
K
inferred← citeshttps://doi.org/10.1007/978-3-476-98727-3_6openalex-snapshot
M
inferred← citeshttps://doi.org/10.1007/978-3-642-31374-5_35openalex-snapshot
Tentative Experiments with Ellipsis in Mizar
inferred← citeshttps://doi.org/10.1007/978-3-662-21626-2_83openalex-snapshot
Hypothetical Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-009-0681-5_12openalex-snapshot
The Myth of the Intuitionistic “OR”
inferred← citeshttps://doi.org/10.1007/978-94-009-7066-3_5openalex-snapshot
Predicative Logics
inferred← citeshttps://doi.org/10.1007/978-94-010-0526-5_1openalex-snapshot
Logic, Truth and Number: The Elementary Genesis of Arithmetic
inferred← citeshttps://doi.org/10.1007/978-94-010-2568-3_25openalex-snapshot
Fregean Categorial Grammar
inferred← citeshttps://doi.org/10.1007/978-94-011-5108-5_21openalex-snapshot
Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems
inferred← citeshttps://doi.org/10.1007/bf00245991openalex-snapshot
Noncumulative dialectical models and formal dialectics
inferred← citeshttps://doi.org/10.1007/bf00431186openalex-snapshot
Natural deduction and Hilbert's ?-operator
inferred← citeshttps://doi.org/10.1007/bf00974982openalex-snapshot
Computationalism
inferred← citeshttps://doi.org/10.1007/bf00985216openalex-snapshot
Discontinuity in categorial grammar
inferred← citeshttps://doi.org/10.1007/bf01344205openalex-snapshot
On quantifying out
inferred← citeshttps://doi.org/10.1007/bf02123283openalex-snapshot
Semantical analyses of propositional systems of Fitch and Nelson
inferred← citeshttps://doi.org/10.1007/bf02123610openalex-snapshot
Fregean grammar: A formal outline
inferred← citeshttps://doi.org/10.1007/bf03037150openalex-snapshot
Logic-based processing of semantically complex natural language discourse
inferred← citeshttps://doi.org/10.1007/bfb0023928openalex-snapshot
Contextual logic of change and the ramification problem
inferred← citeshttps://doi.org/10.1007/s10503-024-09640-1openalex-snapshot
Going Around in Circles
inferred← citeshttps://doi.org/10.1007/s10817-005-9000-3openalex-snapshot
Simplifying Proofs in Fitch-Style Natural Deduction Systems
inferred← citeshttps://doi.org/10.1007/s10817-021-09594-zopenalex-snapshot
Human-Centered Automated Proof Search
inferred← citeshttps://doi.org/10.1007/s10817-025-09742-9openalex-snapshot
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols
inferred← citeshttps://doi.org/10.1007/s10849-009-9102-0openalex-snapshot
Reasoning Processes in Propositional Logic
inferred← citeshttps://doi.org/10.1007/s10849-012-9168-yopenalex-snapshot
Reasoning About Truth in First-Order Logic
inferred← citeshttps://doi.org/10.1007/s10992-024-09746-7openalex-snapshot
The Orthologic of Epistemic Modals
inferred← citeshttps://doi.org/10.1007/s11225-014-9564-1openalex-snapshot
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different
inferred← citeshttps://doi.org/10.1007/s11225-019-09847-4openalex-snapshot
Normality, Non-contamination and Logical Depth in Classical Natural Deduction
inferred← citeshttps://doi.org/10.1007/s11229-020-02706-zopenalex-snapshot
The placeholder view of assumptions and the Curry–Howard correspondence
inferred← citeshttps://doi.org/10.1007/s12133-008-0035-xopenalex-snapshot
Universals: Ways or Things?
inferred← citeshttps://doi.org/10.1016/j.apal.2006.05.009openalex-snapshot
Variable declarations in natural deduction
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.06.033openalex-snapshot
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.09.015openalex-snapshot
Linear logic by levels and bounded time complexity
inferred← citeshttps://doi.org/10.1016/s0019-9958(71)90382-2openalex-snapshot
The utility of independent subgoals in theorem proving
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80005-xopenalex-snapshot
2 Modal proof theory
inferred← citeshttps://doi.org/10.1017/s0022481200031261openalex-snapshot
Natural deduction based set theories: a new resolution of the old paradoxes
inferred← citeshttps://doi.org/10.1017/s0956796822000132openalex-snapshot
Modal FRP for all: Functional reactive programming without space leaks in Haskell
inferred← citeshttps://doi.org/10.1017/s0960129518000105openalex-snapshot
Plugging-in proof development environments usingLocksinLF
inferred← citeshttps://doi.org/10.1017/s1755020315000210openalex-snapshot
SEMANTIC POLLUTION AND SYNTACTIC PURITY
inferred← citeshttps://doi.org/10.1017/s1755020316000010openalex-snapshot
HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY
inferred← citeshttps://doi.org/10.1080/09528139308953763openalex-snapshot
Using hypothetical reasoning as a method for belief ascription
inferred← citeshttps://doi.org/10.1093/9780191947704.001.0001openalex-snapshot
Standing Up for Philosophy
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0002openalex-snapshot
Metaphilosophy and Meta-Methodology
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0003openalex-snapshot
The Standard Normative Framework and the Unreliability of ‘Reliability’
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0004openalex-snapshot
A Better Normative Framework: Methodological Rationality
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0005openalex-snapshot
The Limits of Armchair Philosophy
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0006openalex-snapshot
Experimental Philosophy and Philosophical Progress
inferred← citeshttps://doi.org/10.1093/9780191947704.003.0007openalex-snapshot
Putting Philosophy Back On Its Feet
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.001.0001openalex-snapshot
Reasoning with Attitude
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.002.0004openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.002.0006openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.002.0007openalex-snapshot
List of Figures
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0001openalex-snapshot
Expressivism
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0002openalex-snapshot
Inferentialism
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0003openalex-snapshot
Inferential Expressivism
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0004openalex-snapshot
Epistemic Modals
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0005openalex-snapshot
Moral Vocabulary
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0006openalex-snapshot
Attitudes
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0007openalex-snapshot
Truth
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0008openalex-snapshot
Conditionals
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0009openalex-snapshot
Probability
inferred← citeshttps://doi.org/10.1093/oso/9780197620984.003.0010openalex-snapshot
The Road Ahead
inferred← citeshttps://doi.org/10.1109/tssc.1966.300073openalex-snapshot
Methodological Aspects of Problem Formulation
inferred← citeshttps://doi.org/10.1111/cogs.12898openalex-snapshot
Rectifying the Mischaracterization of Logic by Mental Model Theorists
inferred← citeshttps://doi.org/10.1111/phib.12228openalex-snapshot
Collecting truths: A paradox in two guises
inferred← citeshttps://doi.org/10.1136/bmj.295.6607.1195openalex-snapshot
An outline of formal logic and its applications in medicine--I.
inferred← citeshttps://doi.org/10.1145/3578837.3578844openalex-snapshot
Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems
inferred← citeshttps://doi.org/10.12775/llp.2017.009openalex-snapshot
A Simulation of Natural Deduction and Gentzen Sequent Calculus
inferred← citeshttps://doi.org/10.1305/ndjfl/1093888412openalex-snapshot
The minimal modal logic: a cautionary tale about primitives and definitions.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093888509openalex-snapshot
The eliminability of the actuality operator in propositional modal logic.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093890707openalex-snapshot
Natural deduction rules for modal logics.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093890717openalex-snapshot
Semantics for $S4.2$.
inferred← citeshttps://doi.org/10.17863/cam.38764openalex-snapshot
Modal dependent type theory and dependent right adjoints
inferred← citeshttps://doi.org/10.21608/jarts.2020.100062openalex-snapshot
البرهان غیر المباشر ومشکلة التفاف البراهین ومعیاریتها فی الاستنباط الطبیعى للمنطق الکلاسیکى
inferred← citeshttps://doi.org/10.22329/il.v44i4.8144openalex-snapshot
Is False Dilemma Really a Formal Fallacy?
inferred← citeshttps://doi.org/10.2307/2271340openalex-snapshot
The system CΔ of combinatory logic
inferred← citeshttps://doi.org/10.2307/2273099openalex-snapshot
First-order logic based on inclusion and abstraction
inferred← citeshttps://doi.org/10.2307/2273980openalex-snapshot
The completeness of a predicate-functor logic
inferred← citeshttps://doi.org/10.2307/2275370openalex-snapshot
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
inferred← citeshttps://doi.org/10.29007/k647openalex-snapshot
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
inferred← citeshttps://doi.org/10.3166/jancl.15.69-103openalex-snapshot
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω
inferred← citeshttps://doi.org/10.3233/fi-222112openalex-snapshot
Characteristics of de Bruijn's early proof checker Automath
inferred← citeshttps://doi.org/10.4000/msh.2956openalex-snapshot
Analyse critique de la notion de variable. Points de vue sémiotique et formel
inferred← citeshttps://doi.org/10.4204/eptcs.185.1openalex-snapshot
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks
inferred← citeshttps://doi.org/10.4204/eptcs.396.4openalex-snapshot
Parallel Verification of Natural Deduction Proof Graphs
inferred← citeshttps://doi.org/10.4204/eptcs.419.6openalex-snapshot
ProofBuddy—How it Started, How it's Going—
inferred← citeshttps://doi.org/10.47749/t/unicamp.2004.335465openalex-snapshot
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
inferred← citeshttps://doi.org/10.5840/aaptstudies201510114openalex-snapshot
Teaching the PARC System of Natural Deduction
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.