DocumentCode
2296059
Title
A three-valued semantics for discourse representations
Author
Akama, Seiki ; Nakayama, Yotaro
Author_Institution
Comput. Logic Lab., Teikyo Heisei Univ., Chiba, Japan
fYear
1995
fDate
23-25 May 1995
Firstpage
123
Lastpage
128
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1995. Proceedings., 25th International Symposium on
Conference_Location
Bloomington, IN
ISSN
0195-623X
Print_ISBN
0-8186-7118-1
Type
conf
DOI
10.1109/ISMVL.1995.513520
Filename
513520
Link To Document