A SYSTEM FOR PROPER MULTIPLE-CONCLUSION ENTAILMENT.
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 a...
| Published in: | Logic & Logical Philosophy Vol. 24; no. 2; pp. 241 - 254 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Published: |
Logic & Logical Philosophy
2015
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=103219605&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 103219605 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: 2015 vid: 24 iid: 2 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 103219605 10.12775/LLP.2015.001 ppf: 241 ppct: 13 formats: fmt: @attributes: type: P size: 961KB tig: atl: A SYSTEM FOR PROPER MULTIPLE-CONCLUSION ENTAILMENT. aug: au: Skura, Tomasz Wiśniewski, Andrzej affil: Institute of Philosophy, University of Zielona Góra, Zielona Góra, Poland Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University, Poznań, Poland su: Entailment (Logic) Propositional calculus Mathematical logic Proposition (Logic) Axioms sug: subj: Entailment (Logic) Propositional calculus Mathematical logic Proposition (Logic) Axioms keyword: multiple-conclusion entailment ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Logic & Logical Philosophy holder: Logic & Logical Philosophy dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|