Federacja Bibliotek Cyfrowych

Homepage
Akademicka Platforma Czasopism
A system for proper multiple-conclusion entailment

Object's details: A system for proper multiple-conclusion entailment

tile.noImage

Provider:Akademicka Platforma Czasopism

Description

Title:
A system for proper multiple-conclusion entailment
Creator:
Skura, Tomasz;
Wiśniewski, Andrzej
Description:
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.
Object availability:
free access
Rights:
Prawa autorskie (c) 2017 Logic and Logical Philosophy
Date:
2015.02.04
Type:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Language:
English
Source:
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
Publisher:
Uniwersytet Mikołaja Kopernika w Toruniu
Relation: https://apcz.umk.pl/LLP/article/view/LLP.2015.001/4944
Subject:
multiple-conclusion entailment
Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2015.001
Data provider:
Akademicka Platforma Czasopism

Can I use it?:
seek permission
Type:
text

Similar objects

tile.noImage

A system for proper multiple-conclusion entailment

Creator:Skura, Tomasz | Wiśniewski, Andrzej

Date:2015.02.04

Type:text

tile.noImage

The RM paraconsistent refutation system

Creator:Skura, Tomasz

Date:2009.08.15

Type:text

tile.noImage

Implicational Logic, Relevance, and Refutability

Creator:Skura, Tomasz

Date:2019.06.19

Type:text

tile.noImage

Archaeofauna or palaeontological record? Remarks on Pleistocene fauna from Silesia

Creator:Wiśniewski, Andrzej

Date:2009.12.31 | 2009

Type:other

tile.noImage

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

Creator:Wiśniewski, Andrzej

Date:1997.12.31 | 1997

Type:other

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

Creator:Wiśniewski, Andrzej

Date:1989.12.31 | 1989

Type:other

tile.noImage

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

Creator:Wiśniewski, Andrzej

Date:2011.12.31 | 2011

Type:other

tile.noImage

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

Creator:Wiśniewski, Andrzej

Date:2011.12.31 | 2011

Type:other

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy