TY - JOUR
AU - Wiśniewski, Andrzej
PY - 2017/05/22
Y2 - 2024/06/20
TI - Generalized Entailments
JF - Logic and Logical Philosophy
JA - LLP
VL - 26
IS - 3
SE - Articles
DO - 10.12775/LLP.2017.014
UR - https://apcz.umk.pl/LLP/article/view/LLP.2017.014
SP - 321–356
AB - A semantic relation between a family of sets of formulas and a set of formulas, dubbed generalized entailment, and its subrelation, called constructive generalized entailment, are defined and examined. Entailment construed in the usual way and multiple-conclusion entailment can be viewed as special cases of generalized entailment. The concept of constructive generalized entailment, in turn, enables an explication of some often used notion of interrogative entailment, and coincides with inquisitive entailment at the propositional level. Some interconnections between constructive generalized entailment and Inferential Erotetic Logic are also analysed.
ER -