On the public citation graph

Proof theory of fuzzy logics: Urquhart's C and related logics

https://doi.org/10.1007/bfb0055769
0 signed · 26 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 this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-94-009-5203-4_2openalex-snapshot
Many-valued Logic
inferredcites →https://doi.org/10.1007/978-94-011-5300-3openalex-snapshot
Metamathematics of Fuzzy Logic
inferredcites →https://doi.org/10.1007/bf00370189openalex-snapshot
The contraction rule and decision problems for logics without structural rules
inferredcites →https://doi.org/10.1007/bf01268618openalex-snapshot
A complete many-valued logic with product-conjunction
inferredcites →https://doi.org/10.1007/bf01531058openalex-snapshot
Hypersequents, logical consequence and intermediate logics for concurrency
inferredcites →https://doi.org/10.1007/bf01699094openalex-snapshot
Ergebnisse eines mathematischen Kolloquiums
inferredcites →https://doi.org/10.1017/s0022481200125848openalex-snapshot
Notice 1960 International Congress for Logic, Methodology and Philosophy of Science
inferredcites →https://doi.org/10.1093/oso/9780198538622.003.0001openalex-snapshot
The Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics
inferredcites →https://doi.org/10.1142/2895openalex-snapshot
Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems
inferredcites →https://doi.org/10.1305/ndjfl/1040149356openalex-snapshot
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom
inferredcites →https://doi.org/10.2307/2273798openalex-snapshot
Logics without the contraction rule
inferredcites →https://doi.org/10.2307/2275431openalex-snapshot
Contraction-free sequent calculi for intuitionistic logic
inferredcites →https://doi.org/10.2307/2964753openalex-snapshot
A propositional calculus with denumerable matrix

What points at this work

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

inferred← citeshttps://doi.org/10.1007/10722086_12openalex-snapshot
An Analytic Calculus for Quantified Propositional Gödel Logic
inferred← citeshttps://doi.org/10.1007/3-540-46691-6_20openalex-snapshot
On the Undecidability of Some Sub-classical First-Order Logics
inferred← citeshttps://doi.org/10.1007/3-540-48754-9_13openalex-snapshot
Bounded Contraction in Systems with Linearity
inferred← citeshttps://doi.org/10.1007/978-3-319-28808-6_1openalex-snapshot
Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences
inferred← citeshttps://doi.org/10.1007/978-3-540-30124-0_38openalex-snapshot
Automated Generation of Analytic Calculi for Logics with Linearity
inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_5openalex-snapshot
Advanced Many-Valued Logics
inferred← citeshttps://doi.org/10.1007/s00500-016-2366-9openalex-snapshot
Ten problems in Gödel logic
inferred← citeshttps://doi.org/10.1016/s0165-0114(01)00098-7openalex-snapshot
Monoidal t-norm based logictowards a logic for left-continuous t-norms
inferred← citeshttps://doi.org/10.1017/9781316756140.015openalex-snapshot
Mathematical Fuzzy Logic – State of Art
inferred← citeshttps://doi.org/10.1023/a:1005238908087openalex-snapshot
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion
inferred← citeshttps://doi.org/10.1093/logcom/exaa036openalex-snapshot
On Scott’s semantics for many-valued logic
inferred← citeshttps://doi.org/10.1109/ismvl.2001.924577openalex-snapshot
Hypersequents as a uniform framework for Urquhart's C, MTL and related logics
inferred← citeshttps://doi.org/10.1145/1071596.1071600openalex-snapshot
Sequent and hypersequent calculi for abelian and łukasiewicz logics
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.