Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)

Cached

Download Links

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

Documents Related by Co-Citation

442 From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory – H Kamp, U Reyle - 1993
308 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
614 Interpretation as Abduction – Jerry R. Hobbs, Mark Stickel, Paul Martin, Douglas Edwards - 1990
659 A Theory of truth and semantic representation – H Kamp - 1981
301 Presupposition Projection as Anaphora Resolution – R - 1992
812 From Discourse to Logic – H Kamp, U Reyle - 1993
825 The Semantics of Definite and Indefinite Noun Phrases – Irene R Heim - 1982
1124 A computing procedure for quantification theory – M Davis, H Putnam - 1960
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984