Algebras for Relevant Reasoners

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F25%3A00637407" target="_blank" >RIV/67985807:_____/25:00637407 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.collegepublications.co.uk/downloads/ifcolog00073.pdf#page=176" target="_blank" >https://www.collegepublications.co.uk/downloads/ifcolog00073.pdf#page=176</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Algebras for Relevant Reasoners
Popis výsledku v původním jazyce
The informational interpretations of relevant logic suggest that it provides a natural framework for the development of epistemic logic. This paper proposes a simple extension of relevant modal logic to formalise reasoning about relevant reasoners situated in classical worlds. This approach avoids many of the technical challenges of previous proposals and allows for straightforward algebraic generalisation. The main technical result is a representation theorem for a class of relevant algebras, which provides a solid foundation for further exploration of relevant epistemic logic.
Název v anglickém jazyce
Algebras for Relevant Reasoners
Popis výsledku anglicky
The informational interpretations of relevant logic suggest that it provides a natural framework for the development of epistemic logic. This paper proposes a simple extension of relevant modal logic to formalise reasoning about relevant reasoners situated in classical worlds. This approach avoids many of the technical challenges of previous proposals and allows for straightforward algebraic generalisation. The main technical result is a representation theorem for a class of relevant algebras, which provides a solid foundation for further exploration of relevant epistemic logic.

Projekt
<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2025
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 periodika
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
ISSN
2631-9810
e-ISSN
2631-9829
Svazek periodika
12
Číslo periodika v rámci svazku
5
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
18
Strana od-do
1285-1302
Kód UT WoS článku
001507466300008
EID výsledku v databázi Scopus
—

Podobné výsledky(10)