Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Generalized Entailments

100%
Wiśniewski A.
Logic and Logical Philosophy
|
2017
|
vol. 26
|
issue 3 Special Issue on Question Processing. Guest Editors: Mariusz Urbański, Michiel van Lambalgen, and Marcin Koszowy
321–356
EN
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.
2

A system for proper multiple-conclusion entailment

63%
Skura T., Wiśniewski A.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 2
241–253
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.