Tensed ontology based on simple partial logic
Tóm tắt
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.
Từ khóa
#Ontologies #Logic #Cost accounting #Art #TerminologyTài liệu tham khảo
fenstad, 1997, Partiality [10], 649
doherty, 1996, Partiality Modality and Nonmonotonicity
van benthem, 1997, Handbook of Logic and Language
10.4288/jafpos1956.10.139
woodruff, 1970, Logic and Truth-Value Gaps [7], 121
10.1007/978-94-009-5203-4
langholm, 1988, Partiality truth and persistence
10.1007/978-94-010-3272-8
busch, 1996, Sequent Formalization of Three-Valued Logic [3], 45
langholm, 1996, How Different is Partial Logic? [3], 3
blamey, 1986, Partial logic [5], 1