Completeness and decidability of the mixed style of inference with composition
By: Makoto Kanazawa
Series: ILLC prepublications for logic, semantics and philosophy of language -- 93-09
Publisher: Institute for Logic, Language and Computation
Published: 1993
Place of publication: Amsterdam
Language: eng
Number of pages: 15
Subjects: Composition (Language arts); Inference; Mathematical models
Notes: "October 1993."

Includes bibliographical references (p. 15).