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

Guardado en:
Detalles Bibliográficos
Autores principales: Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.
Formato: SER
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: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 todo:paper_18650929_v611_n_p123_Bou
record_format dspace
spelling todo:paper_18650929_v611_n_p123_Bou2023-10-03T16:33:35Z Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic Bou, F. Esteva, F. Godo, L. Rodriguez, R.O. Vieira S. Carvalho J.P. Lesot M.-J. Bouchon-Meunier B. Kaymak U. Yager R.R. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Bou, F.
Esteva, F.
Godo, L.
Rodriguez, R.O.
Vieira S.
Carvalho J.P.
Lesot M.-J.
Bouchon-Meunier B.
Kaymak U.
Yager R.R.
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.
format SER
author Bou, F.
Esteva, F.
Godo, L.
Rodriguez, R.O.
Vieira S.
Carvalho J.P.
Lesot M.-J.
Bouchon-Meunier B.
Kaymak U.
Yager R.R.
author_facet Bou, F.
Esteva, F.
Godo, L.
Rodriguez, R.O.
Vieira S.
Carvalho J.P.
Lesot M.-J.
Bouchon-Meunier B.
Kaymak U.
Yager R.R.
author_sort Bou, F.
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
url http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p123_Bou
work_keys_str_mv AT bouf possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT estevaf possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT godol possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT rodriguezro possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT vieiras possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT carvalhojp possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT lesotmj possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT bouchonmeunierb possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT kaymaku possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
AT yagerrr possibilisticsemanticsforamodalkd45extensionofgodelfuzzylogic
_version_ 1807322898897043456

Ejemplares similares