Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)

Cached

Download Links

by William Mccune
Venue:Information Processing Letters
Citations:22 - 2 self

Documents Related by Co-Citation

577 A theory of truth and semantic representation – H Kamp - 1981
384 From Discourse to Logic. Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory – H Kamp, U Reyle - 1993
294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
586 Interpretation as Abduction – Jerry R. Hobbs, Mark Stickel, Paul Martin, Douglas Edwards - 1990
724 From Discourse to Logic – H Kamp, U Reyle - 1993
267 Presupposition projection as anaphora resolution – R A van der Sandt - 1992
652 Semantics of definite and indefinite noun phrases – I Heim - 1992
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
1072 A computing procedure for quantification theory – M Davis, H Putnam - 1960