Copertina

Fuzzy Implicative Rules: A Unified Approach

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Fernandez-Peralta, Raquel
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Comprehensive Survey of Fuzzy Implication Functions
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

Compact Rule-Based Classifier Learning via Gradient Descent
di: Fumanal-Idocin, Javier, et al.
Pubblicazione: (2025)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
di: Kettmann, Pascal, et al.
Pubblicazione: (2025)

A Unifying Approach to Probabilistic Testing Equivalences
di: Chen, Weijun, et al.
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)

Fuzzy Aristotelian Diagrams
di: Syropoulos, Apostolos
Pubblicazione: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Non-expansive Fuzzy ALC
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

Computable domains of a Halting Function
di: Peralta, Abel Luis
Pubblicazione: (2024)

Non-Expansive Fuzzy Coalgebraic Logic
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
di: Kura, Satoshi, et al.
Pubblicazione: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
di: Faella, Marco, et al.
Pubblicazione: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
di: de Groot, Jim, et al.
Pubblicazione: (2021)

Probabilistic Abduction in a Fuzzy Logic Framework
di: Flaminio, Tommaso, et al.
Pubblicazione: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Logic of Fuzzy Paths
di: Grover, Kush, et al.
Pubblicazione: (2026)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Finite Axiomatizability by Disjunctive Existential Rules
di: Calautti, Marco, et al.
Pubblicazione: (2025)

Rule Formats for Nominal Process Calculi
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
di: Mio, Matteo, et al.
Pubblicazione: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Admissibility of Substitution Rule in Cyclic-Proof Systems
di: Saotome, Kenji, et al.
Pubblicazione: (2025)

Sound and Complete Proof Rules for Probabilistic Termination
di: Majumdar, Rupak, et al.
Pubblicazione: (2024)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
di: Olges, Garrett, et al.
Pubblicazione: (2025)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
di: Castro, Pablo F.
Pubblicazione: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)

A Sequent Calculus For Trace Formula Implication
di: Heidler, Niklas, et al.
Pubblicazione: (2025)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
di: Barto, Libor, et al.
Pubblicazione: (2021)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
di: Kettmann, Pascal, et al.
Pubblicazione: (2026)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

Linear Realisability and Implicative Algebras
di: Lucquin, Alexandre, et al.
Pubblicazione: (2026)

Implication Problems over Positive Semirings
di: Hirvonen, Minna
Pubblicazione: (2025)

A Unifying Categorical View of Nondeterministic Iteration and Tests
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)