About Natural Logic

The use of first-order logic in data bases raises problems about representing relations that are not defined everywhere. The solution to this problem is to use a 3-valued logic with the truth value “undefined”. This paper is concerned with the naturalness of such a logic, its power and its connection with classical logic.

[1]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[2]  Roger C. Lyndon,et al.  Notes on Logic , 1966 .

[3]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[4]  N. Rescher.  Many Valued Logic , 1969 .

[5]  Alain Colmerauer,et al.  Un sous-ensemble intéressant du français , 1979, RAIRO Theor. Informatics Appl..

[6]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.