Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Logic and Logical Philosophy

1 2017

1 Wiśniewski A.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: families of sets

Sortuj według:

Ogranicz wyniki do:

Generalized Entailments

100%

Wiśniewski A.

Logic and Logical Philosophy

2017

tom 26

nr 3 Special Issue on Question Processing. Guest Editors: Mariusz Urbański, Michiel van Lambalgen, and Marcin Koszowy

321–356

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.