DocumentCode :
2148042
Title :
Tensed ontology based on simple partial logic
Author :
Kachi, Daisuke
Author_Institution :
Fac. of Liberal Arts, Saitama Univ., Japan
fYear :
2002
fDate :
2002
Firstpage :
141
Lastpage :
145
Abstract :
Simple partial logic (SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on Lukasiewicz´s three-valued logic and branching temporal logic.
Keywords :
temporal logic; ternary logic; branching temporal logic; classical logic; extensional logic; linear model; nonclassical truth functional operators; propositional SPL; simple partial logic; tensed ontology; three-valued logic; truth-value gap; Art; Cost accounting; Logic; Ontologies; Terminology;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning, 2002. TIME 2002. Proceedings.Ninth International Symposium on
ISSN :
1530-1311
Print_ISBN :
0-7695-1474-X
Type :
conf
DOI :
10.1109/TIME.2002.1027487
Filename :
1027487
Link To Document :
بازگشت