Applying automated deduction to natural language understanding

Journal of Applied Logic 7 (1):100-112 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.07.008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Patrick Blackburn and Johan Bos , representation and inference for natural language.Anders Søgaard - 2007 - Studia Logica 85 (3):413-418.
Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language: CSLI Publications, Stanford 2005, pp. xi+348, US$ 30.00, ISBN 1-57586-496-7 (paperback). [REVIEW]Anders Søgaard - 2007 - Studia Logica 85 (3):413-418.
Foundations of a theorem prover for functional and mathematical uses.Javier Leach & Susana Nieva - 1993 - Journal of Applied Non-Classical Logics 3 (1):7-38.
Automated deduction in a graphical temporal logic.L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty & L. K. Dillon - 1996 - Journal of Applied Non-Classical Logics 6 (1):29-47.
Logic.Stan Baronett - 2008 - Upper Saddle River, N.J.: Pearson Prentice Hall.
Automated Natural Deduction in Thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : Selected Papers.Dongming Wang - 1998 - Springer Verlag.
Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp. [REVIEW]Jörg Hudelmaier - 2000 - Bulletin of Symbolic Logic 6 (1):94-95.
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
Arthur Schopenhauer on Naturalness in Logic.Jens Lemanski & Hubert Martin Schüler - 2020 - In Language, Logic, and Mathematics in Schopenhauer. Basel, Schweiz: Birkhäuser. pp. 145-165.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,091,268)

6 months
3 (#1,206,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to Montague Semantics.Paolo Dau - 1985 - Journal of Symbolic Logic 50 (3):856-858.

Add more references