Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic

In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames 〈W, π〉, where W is a non-empty set o...

Descripción completa

Detalles Bibliográficos
Publicado: 2016
Materias:
Computer circuits
Information management
Information science
Knowledge based systems
Reconfigurable hardware
Semantics
Classical modal logic
Kripke frames
Possibilistic
Possibility distributions
Fuzzy logic
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18650929_v611_n_p123_Bou
http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p123_Bou
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_18650929_v611_n_p123_Bou
record_format dspace
spelling paper:paper_18650929_v611_n_p123_Bou2023-06-08T16:29:39Z Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic Computer circuits Information management Information science Knowledge based systems Reconfigurable hardware Semantics Classical modal logic Kripke frames Possibilistic Possibility distributions Fuzzy logic In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames 〈W, π〉, where W is a non-empty set of worlds and π: W → [0, 1] is a normalized possibility distribution on W. © Springer International Publishing Switzerland 2016. 2016 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18650929_v611_n_p123_Bou http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p123_Bou
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Computer circuits
Information management
Information science
Knowledge based systems
Reconfigurable hardware
Semantics
Classical modal logic
Kripke frames
Possibilistic
Possibility distributions
Fuzzy logic
spellingShingle Computer circuits
Information management
Information science
Knowledge based systems
Reconfigurable hardware
Semantics
Classical modal logic
Kripke frames
Possibilistic
Possibility distributions
Fuzzy logic
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
topic_facet Computer circuits
Information management
Information science
Knowledge based systems
Reconfigurable hardware
Semantics
Classical modal logic
Kripke frames
Possibilistic
Possibility distributions
Fuzzy logic
description In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames 〈W, π〉, where W is a non-empty set of worlds and π: W → [0, 1] is a normalized possibility distribution on W. © Springer International Publishing Switzerland 2016.
title Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
title_short Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
title_full Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
title_fullStr Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
title_full_unstemmed Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
title_sort possibilistic semantics for a modal kd45 extension of gödel fuzzy logic
publishDate 2016
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18650929_v611_n_p123_Bou
http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p123_Bou
_version_ 1768544796046000128

Ejemplares similares