Title :
A three-valued semantics for discourse representations
Author :
Akama, Seiki ; Nakayama, Yotaro
Author_Institution :
Comput. Logic Lab., Teikyo Heisei Univ., Chiba, Japan
Abstract :
Outlines a three-valued semantics for discourse representation theory (DRT) with a sequent calculus LKD. The proposed sequent calculus lacks the identity axiom and is a fragment of Gentzen´s LK. By translating discourse representation structures into formulas in predicate logic, LKD can yield a proof theory for DRT based on the Schütte (1977) valuations. Some formal results for three-valued semantics are reported in connection with DRT
Keywords :
calculus; natural languages; ternary logic; Gentzen´s LK; Schutte valuations; discourse representation theory; identity axiom; predicate logic formulas; proof theory; sequent calculus LKD; three-valued semantics; Calculus; Cost accounting; Information systems; Laboratories; Logic;
Conference_Titel :
Multiple-Valued Logic, 1995. Proceedings., 25th International Symposium on
Conference_Location :
Bloomington, IN
Print_ISBN :
0-8186-7118-1
DOI :
10.1109/ISMVL.1995.513520
