Back to Search
Start Over
Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory
- Source :
- Studia Logica. 94(2):245-269
- Publication Year :
- 2010
- Publisher :
- Springer Science+Business Media B.V., 2010.
-
Abstract
- This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n-valued logic with truth constants, which generalizes Jonsson-Tarski duality for modal algebras to the n-valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics.
- Subjects :
- compactness theorem
Mathematics::General Mathematics
Logic
Duality (mathematics)
fuzzy topology
many-valued logic
MV-algebra
Stone duality
Fuzzy logic
Jónsson-Tarski duality
Algebra
algebraic logic
Interior algebra
History and Philosophy of Science
Monoidal t-norm logic
Computer Science::Logic in Computer Science
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
T-norm fuzzy logics
Łukasiewicz logic
Mathematics
modal logic
Kripke semantics
Subjects
Details
- Language :
- English
- ISSN :
- 00393215
- Volume :
- 94
- Issue :
- 2
- Database :
- OpenAIRE
- Journal :
- Studia Logica
- Accession number :
- edsair.doi.dedup.....378271d01e48899211d369df7c577e42