Buchumschlag

Fuzzy Aristotelian Diagrams

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Syropoulos, Apostolos
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Term Ordering Diagrams
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

String Diagrams for Monoidal Categories, in Rocq
von: Pous, Damien
Veröffentlicht: (2026)

Non-expansive Fuzzy ALC
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
von: Watanabe, Kazuki
Veröffentlicht: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

Fuzzy Implicative Rules: A Unified Approach
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

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

Logic of Fuzzy Paths
von: Grover, Kush, et al.
Veröffentlicht: (2026)

Questions as cognitive filters
von: Conradie, Willem, et al.
Veröffentlicht: (2025)

Tape Diagrams for Monoidal Monads
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Enriching Diagrams with Algebraic Operations
von: Villoria, Alejandro, et al.
Veröffentlicht: (2023)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
von: Mio, Matteo, et al.
Veröffentlicht: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

A Categorical Framework for Modeling with Stock and Flow Diagrams
von: Baez, John C., et al.
Veröffentlicht: (2022)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
von: Castro, Pablo F.
Veröffentlicht: (2026)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
von: Olges, Garrett, et al.
Veröffentlicht: (2025)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
von: Rashid, Adnan, et al.
Veröffentlicht: (2024)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

Tapes as Stochastic Matrices of String Diagrams
von: Bonchi, Filippo, et al.
Veröffentlicht: (2026)

Promonads and String Diagrams for Effectful Categories
von: Román, Mario
Veröffentlicht: (2022)

String Diagrams for Closed Symmetric Monoidal Categories
von: Reader, Callum, et al.
Veröffentlicht: (2025)

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

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

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
von: Lobbia, Gabriele, et al.
Veröffentlicht: (2024)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
von: D'Angelo, Keri, et al.
Veröffentlicht: (2025)

Graded String Diagrams for Imprecise Probability and Causal Intervention
von: Sarkis, Ralph, et al.
Veröffentlicht: (2025)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
von: Boniol, Martin, et al.
Veröffentlicht: (2026)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
von: Lanzinger, Matthias, et al.
Veröffentlicht: (2024)

A Comprehensive Survey of Fuzzy Implication Functions
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System
von: Rose, Samuel, et al.
Veröffentlicht: (2024)

Manifold Diagrams for Higher Categories
von: Heidemann, Lukas
Veröffentlicht: (2024)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
von: Huang, Litian, et al.
Veröffentlicht: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

Integrating Fuzzy Logic into Deep Symbolic Regression
von: Gerdes, Wout, et al.
Veröffentlicht: (2024)

String Diagrams for $λ$-calculi and Functional Computation
von: Ghica, Dan, et al.
Veröffentlicht: (2023)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)