Federacja Bibliotek Cyfrowych

Strona główna
Akademicka Platforma Czasopism
A system for proper multiple-conclusion entailment

Szczegóły obiektu: A system for proper multiple-conclusion entailment

tile.noImage

Instytucja dostarczająca:Akademicka Platforma Czasopism

Opis

Tytuł:
A system for proper multiple-conclusion entailment
Twórca:
Skura, Tomasz;
Wiśniewski, Andrzej
Opis:
The concept of proper multiple-conclusion entailment is introduced. For any sets X, Y of formulas, we say that Y is properly mc-entailed by X iff Y is mc-entailed by X, but no A ∈ Y is single-conclusion entailed by X. The concept has a natural interpretation in terms of question evocation. A sound and complete axiom system for the propositional case of proper mc-entailment is presented.
Dostępność obiektu:
Dostęp otwarty
Prawa:
Prawa autorskie (c) 2017 Logic and Logical Philosophy
Data:
2015.02.04
Typ:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Język:
angielski
Źródło:
Logic and Logical Philosophy; Vol. 24 No. 2 (2015): June; 241–253;
Logic and Logical Philosophy; Tom 24 Nr 2 (2015): June; 241–253;
2300-9802;
1425-3305
Format:
application/pdf
Wydawca:
Uniwersytet Mikołaja Kopernika w Toruniu
Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2015.001/4944
Temat i słowa kluczowe:
multiple-conclusion entailment
Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2015.001
Dostawca danych:
Akademicka Platforma Czasopism

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
teksty

Podobne obiekty

tile.noImage

A system for proper multiple-conclusion entailment

Twórca:Skura, Tomasz | Wiśniewski, Andrzej

Data:2015.02.04

Rodzaj zawartości:teksty

tile.noImage

The RM paraconsistent refutation system

Twórca:Skura, Tomasz

Data:2009.08.15

Rodzaj zawartości:teksty

tile.noImage

Implicational Logic, Relevance, and Refutability

Twórca:Skura, Tomasz

Data:2019.06.19

Rodzaj zawartości:teksty

tile.noImage

Archaeofauna or palaeontological record? Remarks on Pleistocene fauna from Silesia

Twórca:Wiśniewski, Andrzej

Data:2009.12.31 | 2009

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Czesława Niedzielskiego pt. Badania nad otrzymywaniem wodorosiarczanów pochodnych węglowodanów

Twórca:Wiśniewski, Andrzej

Data:1997.12.31 | 1997

Rodzaj zawartości:pozostałe

tile.noImage

Optymalizacja metody i zastosowania. Tom 2: I Krajowa Konferencja Badań Operacyjnych i Systemowych BOS'88, Książ, 13-17 czerwca 1988 * Formalizacja modeli decyzyjnych * Wybrane problemy konstrukcji modułu wnioskowania systemów ekspertowych

Twórca:Wiśniewski, Andrzej

Data:1989.12.31 | 1989

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgr inż. Jadwigi Zawiszy-Puchałka pt. Badania nad pochodnymi izoflawonów o przewidywanym działaniu przeciwnowotworowym

Twórca:Wiśniewski, Andrzej

Data:2011.12.31 | 2011

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgr inż. Jadwigi Zawiszy-Puchałka pt. Badania nad pochodnymi izoflawonów o przewidywanym działaniu przeciwnowotworowym

Twórca:Wiśniewski, Andrzej

Data:2011.12.31 | 2011

Rodzaj zawartości:pozostałe

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności