PL EN


2011 | 1 | 1 | 87-102
Article title

The Systems of Relevance Logic

Authors
Content
Title variants
Languages of publication
PL EN
Abstracts
PL
Systemy logiki relewantnej. System R, albo mówiąc precyzyjniej czysto implikacyjny fragment R→, są uważane przez logików relewantnych za najważniejsze. Innym istotnym systemem logik relewantnych jest logika E, pojmowana jako entailment, która charakteryzuje ścisłą relewantną implikację. Kolejnym ważnym systemem jest RM, inaczej nazywane R-mingle. Pytanie brzmi, czy dodanie aksjomatu mingle do R→ prowadzi do czysto implikacyjnego fragmentu RM→? W przypadku słabych logik relewantnych są możliwe dwie interpretacje. Po pierwsze, można ograniczyć obowiązywalność niektórych twierdzeń. Po drugie, są możliwe systemy pozbawione twierdzeń, które charakteryzuje się tylko przez reguły dedukcji.
Keywords
Year
Volume
1
Issue
1
Pages
87-102
Physical description
Dates
published
2011
Contributors
author
  • Uniwersytet Pedagogiczny w Krakowie
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.desklight-f03e0a7b-c20d-47ec-b407-ae98dfe409ad
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.