arXiv (All)
open access
Fuzzy directed simulations for fuzzy modal logics over residuated lattices
We introduce the notion of fuzzy directed simulation between fuzzy Kripke models over linear and complete residuated lattices and investigate its fundamental properties. In particular, we prove that all positive formulas of a fuzzy extension of propositional dynamic logic are preserved under fuzzy d
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- A local recursive least squares approach for discrete-time adaptive fuzzy control#1157130
- On fuzzy contractions in fuzzy metric spaces#926297
- Local stability analysis and estimation of domains of attraction for discrete-time Takagi-Sugeno fuzzy systems via fuzzy-modeled membership functions#430508
- Completeness of the Fuzzy Order on Fuzzy Numbers#1110445
- A Proof of Concept Pilot Study of the Addition of Venetoclax to Standard Remission Induction Chemotherapy Fludarabine or Cladrabine, Cytarabine, and Granulocyte Colony Stimulating Factor (G-CSF) (FLAG or CLAG) for Frontline Therapy of Secondary Acute Myeloid Leukemia#832007
Record · ID 1011165
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive