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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Logic & Logical Philosophy Vol. 24; no. 2; pp. 241 - 254
Autores principales:	Skura, Tomasz, Wiśniewski, Andrzej
Formato:	Artículo
Publicado:	Logic & Logical Philosophy 2015
Materias:	Entailment (Logic) Propositional calculus Mathematical logic Proposition (Logic) Axioms
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.