First-Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment

Authors
M.A.Suchenek
Citation
M.a.suchenek, First-Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment, Journal of automated reasoning , 10(2), 1993, pp. 237-264
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
10
Issue
2
Year of publication
1993
Pages
237 - 264
Database
ACNP
SICI code