Relevant consequence relations: An invitation

Result code in 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>
Alternative codes found
RIV/67985807:_____/24:00574131
Result on the web
<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>

Result language
angličtina
Original language name
Relevant consequence relations: An invitation
Original language description
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).
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)