A Note on Non-Alethic Temporal Logics

机译：关于非伦理时间逻辑的注记

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we discuss time in paraconsistency and paracompleteness. We introduce briefly the temporal logical system Δ_1 which may constitute, for instance, a framework for non-alethic temporal reasoning.

机译：在本文中，我们讨论了超一致性和超完备性中的时间。我们简要介绍了时间逻辑系统Δ_1，该系统可以构成例如非道德时间推理的框架。

著录项

来源
《Congress on Logic Applied to Technology(LAPTEC'2005); 20050402-04; Himeji(JP)》|2005年|P.216-219|共4页
会议地点 Himeji(JP)
作者
Jair Minoro Abe; Kazumi Nakamatsu;
展开▼
作者单位

Institute For Advanced Studies -University of Sao Paulo;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Non-Alethic Meinongian Logic [J] . Nicola Grana Principia: An International Journal of Epistemology . 2010,第1期

机译：non-AL ethic me i浓Ian logic
2. Technical Note Temporal logic programs with variables [J] . Aguado Felicidad, Cabalar Pedro, Perez Gilberto, Theory and Practice of Logic Programming . 2017,第2期

机译：技术说明带变量的时间逻辑程序
3. A note on unbounded metric temporal logic over dense time domains [J] . Stefano Baratella, Andrea Masini Mathematical logic quarterly: MLQ . 2006,第5期

机译：关于密集时域上的无界度量时间逻辑的注释
4. On non-alethic logic [C] . C.A.A.P.Abar, M.Yamashita International conference on information processing and management of uncertainty in knowledge-based systems;IPMU'94 . 1995

机译：关于非含有逻辑
5. From temporal expressions to symptom onset date identification in emergency department notes - a temporal information extraction process . [D] . Mahalingam, Deepika. 2011

机译：从时间表达到急诊科症状发作日期的识别-时间信息的提取过程。
6. Control strategies for COVID-19 epidemic with vaccination shield immunity and quarantine: A metric temporal logic approach [O] . Zhe Xu, Bo Wu, Ufuk Topcu 2021

机译：Covid-19流行病的控制策略抗疫苗盾牌免疫检疫：公制时间逻辑方法
7. Non-Alethic Meinongian Logic [O] . Grana, Nicola 2010

机译：非伦理美浓逻辑
8. An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic [R] . Mattison, R. 1969

机译：一阶谓词逻辑模型理论及相关时态逻辑

A Note on Non-Alethic Temporal Logics

摘要

著录项

相似文献

相关主题

期刊订阅