arXiv (All)
open access
Non-Expansive Fuzzy Modal Logic Has Uniform Interpolation
Fuzzy logics with truth values in the unit interval vary in their choice of propositional connectives and their semantics, ranging from just minimum and maximum as in Zadeh logics to truncated addition and subtraction as in Łukasiewicz logics or their extensions with truth constants, known as Pavelk
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
- Logico-linguistic papers#771380
- A Methodology for Teaching Logic-Based Skills to Mathematics Students#713241
- Modal logic with non-deterministic semantics: Part I—Propositional case#725893
- A multi-succedent sequent calculus for logical expressivists#743843
- The logical structure of linguistic theory#341422
Record · ID 1447702
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