Relevant consequence relations: An invitation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F23%3AA2402FOI" target="_blank" >RIV/61988987:17610/23:A2402FOI - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/24:00574131

Výsledek na webu

<a href="https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/relevant-consequence-relations-an-invitation/B2D4B290181051E255C0B13A32F3E64E" target="_blank" >https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/relevant-consequence-relations-an-invitation/B2D4B290181051E255C0B13A32F3E64E</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1017/S1755020323000205" target="_blank" >10.1017/S1755020323000205</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Relevant consequence relations: An invitation

Popis výsledku v původním jazyce

We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between multisets. We motivate and state basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases).

Název v anglickém jazyce

Relevant consequence relations: An invitation

Popis výsledku anglicky

We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between multisets. We motivate and state basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases).

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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 periodika

The Review of Symbolic Logic

ISSN

1755-0203

e-ISSN

1755-0211

Svazek periodika

—

Číslo periodika v rámci svazku

červen

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

31

Strana od-do

—

Kód UT WoS článku

001037929400001

EID výsledku v databázi Scopus

2-s2.0-85165064851