On the public citation graph
Fuzzy operator logic and fuzzy resolution
0 signed · 66 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/978-1-4612-4792-0_5openalex-snapshot
Commonsense and Fuzzy Logic
inferredcites →https://doi.org/10.1007/978-94-009-4682-8openalex-snapshot
Fuzzy Sets Theory and Applications
inferredcites →https://doi.org/10.1007/978-94-009-4682-8_9openalex-snapshot
Support Logic Programming
inferredcites →https://doi.org/10.1007/bf00244272openalex-snapshot
Incidence calculus: A mechanism for probabilistic reasoning
inferredcites →https://doi.org/10.1007/bf00485052openalex-snapshot
Fuzzy logic and approximate reasoning
inferredcites →https://doi.org/10.1007/bf03037082openalex-snapshot
Prolog-ELF incorporating fuzzy logic
inferredcites →https://doi.org/10.1007/bf03037422openalex-snapshot
Inference methods based on extended dempster & Shafer’s theory for problems with uncertainty/fuzziness
inferredcites →https://doi.org/10.1016/0004-3702(78)90015-2openalex-snapshot
A model-based method for computer-aided medical decision-making
inferredcites →https://doi.org/10.1016/0020-0255(73)90009-1openalex-snapshot
On the analytic formalism of the theory of fuzzy sets
inferredcites →https://doi.org/10.1016/0020-0255(75)90017-1openalex-snapshot
The concept of a linguistic variable and its application to approximate reasoning-III
inferredcites →https://doi.org/10.1016/0020-0255(75)90036-5openalex-snapshot
The concept of a linguistic variable and its application to approximate reasoning—I
inferredcites →https://doi.org/10.1016/0020-0255(91)90033-qopenalex-snapshot
λ-Resolution and interpretation of λ-implication in fuzzy operator logic
inferredcites →https://doi.org/10.1016/0025-5564(75)90047-4openalex-snapshot
A model of inexact reasoning in medicine
inferredcites →https://doi.org/10.1016/0025-5564(76)90064-xopenalex-snapshot
A probability model of medical reasoning and theMYCIN model
inferredcites →https://doi.org/10.1016/0165-0114(87)90110-2openalex-snapshot
Evidential support logic programming
inferredcites →https://doi.org/10.1016/b978-0-444-70058-2.50012-7openalex-snapshot
Is Probability Theory Sufficient for Dealing with Uncertainty in AI: A Negative View
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50028-3openalex-snapshot
MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION**This work was supported in part by the Office of Resource Analysis of the U.S. Geological Survey under Contract No. 14-08-0001-15985, and in part by the Nonrenewable Resources Section of the National Science Foundation under…
inferredcites →https://doi.org/10.1016/c2009-0-22103-9openalex-snapshot
Symbolic Logic and Mechanical Theorem Proving
inferredcites →https://doi.org/10.1016/s0020-7373(76)80003-xopenalex-snapshot
Łukasiewicz logic and fuzzy set theory
inferredcites →https://doi.org/10.1080/03081078208934833openalex-snapshot
A CLASS OF FUZZY MEASURES BASED ON TRIANGULAR NORMS A general framework for the combination of uncertain information
inferredcites →https://doi.org/10.1109/cdc.1979.270048openalex-snapshot
Fuzzy logic and fuzzy reasoning
inferredcites →https://doi.org/10.1109/proc.1985.13157openalex-snapshot
Fuzzy set and possibility theory
inferredcites →https://doi.org/10.1145/1499799.1499948openalex-snapshot
Subjective bayesian methods for rule-based inference systems
inferredcites →https://doi.org/10.1145/321679.321688openalex-snapshot
Fuzzy Logic and the Resolution Principle
inferredcites →https://doi.org/10.1515/9780691214696openalex-snapshot
A Mathematical Theory of Evidence
inferredcites →https://doi.org/10.2307/1402448openalex-snapshot
Scoring Rules and the Inevitability of Probability
inferredcites →https://doi.org/10.2307/2217522openalex-snapshot
An Introduction to Many-Valued Logics
inferredcites →https://doi.org/10.2307/j.ctv10vm1qbopenalex-snapshot
A Mathematical Theory of Evidence
inferredcites →https://doi.org/10.7326/0003-4819-85-6-831_1openalex-snapshot
Computer-Based Medical Consultations: MYCIN.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/int.10069openalex-snapshot
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
inferred← citeshttps://doi.org/10.1007/3-540-44652-4_67openalex-snapshot
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants
inferred← citeshttps://doi.org/10.1007/3-540-53104-1_41openalex-snapshot
Resolution-based reasoning for fuzzy logic
inferred← citeshttps://doi.org/10.1007/3-540-58495-1_8openalex-snapshot
Signed formulas and fuzzy operator logics
inferred← citeshttps://doi.org/10.1007/978-3-319-02741-8_28openalex-snapshot
Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-08795-5_36openalex-snapshot
Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra
inferred← citeshttps://doi.org/10.1007/978-3-540-72434-6_64openalex-snapshot
Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-24672-2_11openalex-snapshot
The Role of Synonymy and Antonymy in ’Natural’ Fuzzy Prolog
inferred← citeshttps://doi.org/10.1007/978-94-011-7108-3_16openalex-snapshot
Annotations, Signs, and Generally Paraconsistent Logics
inferred← citeshttps://doi.org/10.1007/bf00712385openalex-snapshot
Query processing in annotated logic programming: Theory and implementation
inferred← citeshttps://doi.org/10.1007/bfb0035637openalex-snapshot
Error tolerance method in multiple-valued logic
inferred← citeshttps://doi.org/10.1007/bfb0035976openalex-snapshot
Efficient interpretation of prepositional multiple-valued logic programs
inferred← citeshttps://doi.org/10.1007/s00500-012-0860-2openalex-snapshot
General form of α-resolution principle for linguistic truth-valued lattice-valued logic
inferred← citeshttps://doi.org/10.1007/s10700-020-09319-8openalex-snapshot
A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making
inferred← citeshttps://doi.org/10.1016/j.engappai.2025.111625openalex-snapshot
Knowledge graph reasoning: Mainstream methods, applications and prospects
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.108995openalex-snapshot
An empirically supported approach to the treatment of imprecision in vague reasoning
inferred← citeshttps://doi.org/10.1016/j.ins.2017.05.046openalex-snapshot
( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic
inferred← citeshttps://doi.org/10.1016/s0020-0255(00)00069-4openalex-snapshot
α-Resolution principle based on lattice-valued propositional logic LP(X)
inferred← citeshttps://doi.org/10.1023/a:1005784309139openalex-snapshot
A Framework for Automated Reasoning in Multiple-Valued Logics
inferred← citeshttps://doi.org/10.1093/oso/9780198539896.001.0001openalex-snapshot
Automated Deduction in Multiple-valued Logics
inferred← citeshttps://doi.org/10.1109/21.135703openalex-snapshot
Reasoning under uncertainty in fuzzy operator logic
inferred← citeshttps://doi.org/10.1109/ice348803.2020.9122808openalex-snapshot
FPGA based Fuzzy Logic Controller for Frequency Regulation of Synchronous Generator
inferred← citeshttps://doi.org/10.1109/ismvl.2007.9openalex-snapshot
Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic
inferred← citeshttps://doi.org/10.1109/tfuzz.2012.2236095openalex-snapshot
Multiary α-Resolution Principle for a Lattice-Valued Logic
inferred← citeshttps://doi.org/10.1515/ipp-2020-4088openalex-snapshot
Control Strategies for Reactive Extrusion of Polypropylene by Peroxide Degradation A Brief Review and an Experimental Study
inferred← citeshttps://doi.org/10.18576/amis/110509openalex-snapshot
Linguistic-Valued Logics Based on Hedge Algebras and Applications to Approximate Reasoning
inferred← citeshttps://doi.org/10.3233/ifs-1996-4106openalex-snapshot
Dynamic Switching of Fuzzy Resolution in Knowledge-Based Self-Tuning Control
inferred← citeshttps://doi.org/10.48550/arxiv.1301.3832openalex-snapshot
A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables
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.