OpenAlex
Generalized Entailments
Work
Year: 2017
Type: article
Abstract: 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... more
Cites: 22
Cited by:
Related to: 10
Open Access status: gold