On the public citation graph
The consistency of the axiom of comprehension in the infinite-valued predicate logic of ?ukasiewicz
0 signed · 70 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.2307/2271339openalex-snapshot
Axiomatization of the infinite-valued predicate calculus
inferredcites →https://doi.org/10.2307/2964111openalex-snapshot
Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
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-34783-6_63openalex-snapshot
Fuzzy Set Theory – 40 Years of Foundational Discussions
inferred← citeshttps://doi.org/10.1007/978-1-4020-5012-7openalex-snapshot
The Age of Alternative Logics
inferred← citeshttps://doi.org/10.1007/978-1-4020-5012-7_9openalex-snapshot
Semantics for Naive Set Theory in Many-Valued Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-78361-7_7openalex-snapshot
Exploring Human-Computer Interaction in Mathematics: From Voevodsky’s Univalent Foundations of Mathematics to Mochizuki’s IUT-Theoretic Proof of the ABC Conjecture
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_3openalex-snapshot
The Logic of Fuzzy Set Theory: A Historical Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_4openalex-snapshot
Set Theory and Arithmetic in Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-35644-5_50openalex-snapshot
Living in an Uncertain Universe
inferred← citeshttps://doi.org/10.1007/978-94-017-0466-3_3openalex-snapshot
Semantics and the Liar Paradox
inferred← citeshttps://doi.org/10.1007/bf00211185openalex-snapshot
The gentzenization and decidability of RW
inferred← citeshttps://doi.org/10.1007/bf00247001openalex-snapshot
Curry's paradox in contractionless constructive logic
inferred← citeshttps://doi.org/10.1007/bf00454743openalex-snapshot
Gentzenization and decidability of some contraction-less relevant logics
inferred← citeshttps://doi.org/10.1007/s00153-005-0284-0openalex-snapshot
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory
inferred← citeshttps://doi.org/10.1007/s00153-007-0043-5openalex-snapshot
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
inferred← citeshttps://doi.org/10.1007/s10462-011-9311-1openalex-snapshot
Fuzzy logic and self-referential reasoning: a comparative study with some new concepts
inferred← citeshttps://doi.org/10.1007/s10699-012-9296-5openalex-snapshot
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics
inferred← citeshttps://doi.org/10.1007/s10992-012-9262-2openalex-snapshot
The Simple Consistency of Naive Set Theory using Metavaluations
inferred← citeshttps://doi.org/10.1007/s11225-006-7197-8openalex-snapshot
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches
inferred← citeshttps://doi.org/10.1007/s11225-010-9225-yopenalex-snapshot
Extensionality and Restriction in Naive Set Theory
inferred← citeshttps://doi.org/10.1016/j.fss.2009.09.006openalex-snapshot
Triangular norm based predicate fuzzy logics
inferred← citeshttps://doi.org/10.1016/s0020-7373(80)80038-1openalex-snapshot
New directions in the analysis and interactive elicitation of personal construct systems
inferred← citeshttps://doi.org/10.1016/s0020-7373(83)80046-7openalex-snapshot
Precise past—fuzzy future
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70020-2openalex-snapshot
Paradoxes, Self-Reference and Truth in the 20th Century
inferred← citeshttps://doi.org/10.1017/9781108993135openalex-snapshot
Paradoxes and Inconsistent Mathematics
inferred← citeshttps://doi.org/10.1017/9781108993135.003openalex-snapshot
Introduction to an Inconsistent World3
inferred← citeshttps://doi.org/10.1017/9781108993135.004openalex-snapshot
Paradoxes; or, “Here in the Presence of an Absurdity”
inferred← citeshttps://doi.org/10.1017/9781108993135.006openalex-snapshot
In Search of a Uniform Solution
inferred← citeshttps://doi.org/10.1017/9781108993135.007openalex-snapshot
Metatheory and Naive Theory
inferred← citeshttps://doi.org/10.1017/9781108993135.008openalex-snapshot
Prolegomena to Any Future Inconsistent Mathematics
inferred← citeshttps://doi.org/10.1017/jsl.2021.41openalex-snapshot
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
inferred← citeshttps://doi.org/10.1017/jsl.2025.10147openalex-snapshot
A METRIC SET THEORY WITH A UNIVERSAL SET
inferred← citeshttps://doi.org/10.1017/s1755020313000312openalex-snapshot
NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
inferred← citeshttps://doi.org/10.1017/s1755020314000501openalex-snapshot
NAIVE SET THEORY AND NONTRANSITIVE LOGIC
inferred← citeshttps://doi.org/10.1023/a:1016391109231openalex-snapshot
Naïve Comprehension and Contracting Implications
inferred← citeshttps://doi.org/10.1023/b:logi.0000036853.44128.8fopenalex-snapshot
Routes to Triviality
inferred← citeshttps://doi.org/10.1080/03081078908935046openalex-snapshot
EPISTEMIC PERSPECTIVE—ACT—PARADIGM
inferred← citeshttps://doi.org/10.1093/jigpal/jzs025openalex-snapshot
Strong, universal and provably non-trivial set theory by means of adaptive logic
inferred← citeshttps://doi.org/10.1093/logcom/exp050openalex-snapshot
On White's Expansion of Lukasiewicz Logic
inferred← citeshttps://doi.org/10.1109/fuzzy.2006.1681928openalex-snapshot
Toward Problems for Mathematical Fuzzy Logic
inferred← citeshttps://doi.org/10.1109/ismvl.2001.924590openalex-snapshot
A set theory within fuzzy logic
inferred← citeshttps://doi.org/10.1145/12808.12849openalex-snapshot
Logical foundations for knowledge representation in intelligent systems
inferred← citeshttps://doi.org/10.1215/00294527-2017-0010openalex-snapshot
Prospects for a Naive Theory of Classes
inferred← citeshttps://doi.org/10.1305/ndjfl/1093634406openalex-snapshot
A note on naive set theory in ${\rm LP}$.
inferred← citeshttps://doi.org/10.1305/ndjfl/1143468315openalex-snapshot
Variations on a Theme of Curry
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.