Non-standard Modalities in Paraconsistent Gödel Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F23%3A00605420" target="_blank" >RIV/67985955:_____/23:00605420 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-031-43619-2_29" target="_blank" >https://doi.org/10.1007/978-3-031-43619-2_29</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-43619-2_29" target="_blank" >10.1007/978-3-031-43619-2_29</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Non-standard Modalities in Paraconsistent Gödel Logic

Popis výsledku v původním jazyce

We introduce a paraconsistent expansion of the Godel logic with a De Morgan negation notsign and modalities square and lozenge. We dub the logic G(square,lozenge)(2 +/-) and equip it with Kripke semantics on frames with two (possibly fuzzy) relations: R+ and R- (interpreted as the degree of trust in affirmations and denials by a given source) and valuations v(1) and v(2) (positive and negative support) ranging over [0, 1] and connected via (sic). We motivate the semantics of square phi (resp., lozenge phi) as infima (suprema) of both positive and negative supports of f in R+- and R- -accessible states, respectively. We then prove several instructive semantical properties of G(square,lozenge)(2 +/-) . Finally, we devise a tableaux system for G(square,lozenge)(2 +/-) over finitely branching frames and establish the complexity of satisfiability and validity.

Název v anglickém jazyce

Non-standard Modalities in Paraconsistent Gödel Logic

Popis výsledku anglicky

We introduce a paraconsistent expansion of the Godel logic with a De Morgan negation notsign and modalities square and lozenge. We dub the logic G(square,lozenge)(2 +/-) and equip it with Kripke semantics on frames with two (possibly fuzzy) relations: R+ and R- (interpreted as the degree of trust in affirmations and denials by a given source) and valuations v(1) and v(2) (positive and negative support) ranging over [0, 1] and connected via (sic). We motivate the semantics of square phi (resp., lozenge phi) as infima (suprema) of both positive and negative supports of f in R+- and R- -accessible states, respectively. We then prove several instructive semantical properties of G(square,lozenge)(2 +/-) . Finally, we devise a tableaux system for G(square,lozenge)(2 +/-) over finitely branching frames and establish the complexity of satisfiability and validity.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Logics in Artificial Intelligence. 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

ISBN

978-3-031-43618-5

ISSN

—

e-ISSN

—

Počet stran výsledku

17

Strana od-do

420-436

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Dresden

Datum konání akce

20. 9. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

001157340700029