On the public citation graph

Elements of Mathematical Logic

https://doi.org/10.2307/2024558

0 signed · 28 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.1002/malq.19890350104openalex-snapshot

p‐ℵ0‐Categorical Lattice‐Ordered Structures

inferred← citeshttps://doi.org/10.1007/3-540-50517-2_86openalex-snapshot

Uniformly applicative structures, a theory of computability and polyadic functions

inferred← citeshttps://doi.org/10.1007/978-1-4615-2315-4_1openalex-snapshot

Non-Linear Array Dependence Analysis

inferred← citeshttps://doi.org/10.1007/bf01425568openalex-snapshot

The elementary theory of algebraic fields of finite corank

inferred← citeshttps://doi.org/10.1007/bf02015373openalex-snapshot

Completeness of cut-free type theories

inferred← citeshttps://doi.org/10.1007/bfb0079102openalex-snapshot

The monadic fragment of predicate calculus with the Chang quantifier and equality

inferred← citeshttps://doi.org/10.1007/s11245-004-8879-3openalex-snapshot

?ukasiewicz on Reasoning in the Natural Sciences

inferred← citeshttps://doi.org/10.1016/0022-2496(75)90052-8openalex-snapshot

Rational choice and polynomial measurement models

inferred← citeshttps://doi.org/10.1016/1385-7258(81)90019-6openalex-snapshot

The interpolation theorem in fragments of logics

inferred← citeshttps://doi.org/10.1016/s0167-5060(08)70535-1openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/s0747-7171(08)80119-8openalex-snapshot

Invariant computations for analytic projective geometry

inferred← citeshttps://doi.org/10.1080/01445340.2010.503388openalex-snapshot

Łukasiewicz and Popper on Induction

inferred← citeshttps://doi.org/10.1080/13511610.1993.9968350openalex-snapshot

Exploring a critical systems perspective

inferred← citeshttps://doi.org/10.1080/13511610.1994.9968419openalex-snapshot

Enacted social systems: A critique of determinism

inferred← citeshttps://doi.org/10.1090/s0002-9947-99-02339-9openalex-snapshot

A finitely axiomatizable undecidable equational theory with recursively solvable word problems

inferred← citeshttps://doi.org/10.1109/date.2007.364445openalex-snapshot

Performance Aware Secure Code Partitioning

inferred← citeshttps://doi.org/10.1109/isuma.1990.151337openalex-snapshot

Reasoning with uncertainty using conditional logic and probability

inferred← citeshttps://doi.org/10.1109/rtas.2005.6openalex-snapshot

An adaptive locality-conscious process scheduler for embedded systems

inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811215openalex-snapshot

A symbolic model checker for testing ASTRAL real-time specifications

inferred← citeshttps://doi.org/10.1305/ndjfl/1093894716openalex-snapshot

Strange arguments.

inferred← citeshttps://doi.org/10.1353/pew.2005.0042openalex-snapshot

Mulla Sadra and Causation: Rethinking a Problem in Later Islamic Philosophy

inferred← citeshttps://doi.org/10.2140/pjm.1972.43.277openalex-snapshot

Souslin’s conjecture as a problem on the real line

inferred← citeshttps://doi.org/10.2140/pjm.1975.56.265openalex-snapshot

Model-completeness in a first order language with a generalized quantifier

inferred← citeshttps://doi.org/10.2307/2270906openalex-snapshot

Applications of Strict Π11 predicates to infinitary logic

inferred← citeshttps://doi.org/10.2307/2274391openalex-snapshot

Reduced coproducts of compact Hausdorff spaces

inferred← citeshttps://doi.org/10.2969/jmsj/02410001openalex-snapshot

Herbrand uniformity theorems for infinitary languages

inferred← citeshttps://doi.org/10.4018/979-8-3693-3657-1.ch002openalex-snapshot

Sets and Propositions

inferred← citeshttps://doi.org/10.4153/cjm-1982-008-6openalex-snapshot

Some Obstacles to Duality in Topological Algebra

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.