bibtype J - Journal Article
ARLID 0480886
utime 20240103214859.4
mtime 20171104235959.9
SCOPUS 85031759745
WOS 000436569200006
DOI 10.1016/j.fss.2017.10.009
title (primary) (eng) Neighborhood semantics for modal many-valued logics
specification
page_count 14 s.
serial
ARLID cav_un_epca*0256642
ISSN 0165-0114
title Fuzzy Sets and Systems
volume_id 345
page_num 99-112
publisher
name Elsevier
keyword mathematical fuzzy logic
keyword modal fuzzy logics
keyword neighborhood frames
keyword Kripke semantics
keyword many-valued logics
author (primary)
ARLID cav_un_auth*0100737
name1 Cintula
name2 Petr
full_dept (cz) Oddělení teoretické informatiky
full_dept (eng) Department of Theoretical Computer Science
institution UIVT-O
full_dept Department of Theoretical Computer Science
fullinstit Ústav informatiky AV ČR, v. v. i.
author
ARLID cav_un_auth*0293476
name1 Noguera
name2 Carles
full_dept (cz) Matematická teorie rozhodování
full_dept Department of Decision Making Theory
department (cz) MTR
department MTR
institution UTIA-B
full_dept Department of Decision Making Theory
garant K
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
cas_special
project
ARLID cav_un_auth*0323282
project_id GF15-34650L
agency GA ČR
country CZ
project
ARLID cav_un_auth*0348811
project_id JSPS-16-08
agency AV ČR
country CZ
country JP
project
ARLID cav_un_auth*0339025
project_id 689176
agency EC
country XE
project
ARLID cav_un_auth*0328078
project_id I1897-N25
agency Austrian Science Fund
country AT
abstract (eng) The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores a more general semantical picture, namely a many-valued version of the classical neighborhood semantics. We present it in two levels of generality. First, we work with modal languages containing only the two usual unary modalities, define neighborhood frames over algebras of the logic FLew with operators, and show their relation with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, we define generalized neighborhood frames for arbitrary modal languages over a given class of algebras for an arbitrary protoalgebraic logic and, assuming certain additional conditions, axiomatize the logic of all such frames (which generalizes the completeness theorem of the classical modal logic E with respect to classical neighborhood frames).
RIV BA
FORD0 10000
FORD1 10200
FORD2 10201
reportyear 2019
mrcbC47 UTIA-B 10000 10100 10101
mrcbC52 4 A O 4a 4o 20231122142800.5
mrcbC55 UTIA-B BA
inst_support RVO:67985807
inst_support RVO:67985556
permalink http://hdl.handle.net/11104/0276553
confidential S
mrcbC86 2 Article Computer Science Theory Methods|Mathematics Applied|Statistics Probability
mrcbT16-e COMPUTERSCIENCETHEORYMETHODS|MATHEMATICSAPPLIED|STATISTICSPROBABILITY
mrcbT16-j 0.63
mrcbT16-s 1.347
mrcbT16-B 44.862
mrcbT16-D Q3
mrcbT16-E Q1*
arlyear 2018
mrcbTft \nSoubory v repozitáři: a0480886.pdf, 0480886.pdf
mrcbU14 85031759745 SCOPUS
mrcbU24 PUBMED
mrcbU34 000436569200006 WOS
mrcbU63 cav_un_epca*0256642 Fuzzy Sets and Systems 0165-0114 1872-6801 Roč. 345 15 August 2018 99 112 Elsevier