Combining Soft Linear Logic and Spatio-temporal Operators

NORIHIRO KAMIDE

首页> 外文期刊>Journal of logic and computation >Combining Soft Linear Logic and Spatio-temporal Operators

【24h】

Combining Soft Linear Logic and Spatio-temporal Operators

机译：结合软线性逻辑和时空运算符

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

A new logic, spatio-temporal soft linear logic, which has soft linear exponential, linear exponential and spatio-temporal operators, is introduced as a sequent calculus. A Petri net interpretation and an informational interpretation for this logic are given by using simple complete semantics. By using this logic and these interpretations, various kinds of spatio-temporal and resource-sensitive reasoning can be expressed.

机译：引入了一种新的逻辑，时空软线性逻辑，它具有软线性指数，线性指数和时空运算符，作为后续演算。通过使用简单的完整语义，给出了此逻辑的Petri网解释和信息解释。通过使用此逻辑和这些解释，可以表示各种时空和资源敏感的推理。

著录项

来源
《Journal of logic and computation》 |2004年第5期|p.625-650|共26页
作者
NORIHIRO KAMIDE;
展开▼
作者单位

Department of Philosophy, Keio University, Japan;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
soft linear logic; spatio-temporal operators; petri net; resource-sensitive reasoning;

机译：软线性逻辑;时空算子;Petri网;资源敏感推理;

相似文献

外文文献
中文文献
专利

1. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators [J] . Carlos Caleiro, Luca Viganò, Marco Volpe Logica Universalis . 2013,第1期

机译：多维模态逻辑的拼接方法：时态和模态运算符组合的案例研究
2. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators [J] . Caleiro C., Viganò L., Volpe M. Logica universalis . 2013,第1期

机译：多维模态逻辑的镶嵌方法：时态和模态运算符组合的案例研究
3. A biotech measurement software system using controlled features for determining the level of psycho-emotional tension on man-machine system operators by bio-active points based on fuzzy logic measures [J] . Riad Taha Al-Kasasbeh, Mohammad Ali Abdalla Zaubi, Nikolay Korenevskiy, International Journal of Modelling, Identification and Control . 2014,第4期

机译：一种生物技术测量软件系统，该系统使用受控功能，通过基于模糊逻辑度量的生物活动点确定人机系统操作员的心理张力水平
4. Linear logic operators in transparent intensional logic [C] . Liberios Vokorokos, Zuzana Bilanová, Daniel Mihályi IEEE International Scientific Conference on Informatics . 2017

机译：透明内涵逻辑中的线性逻辑运算符
5. Soft classification of hyperspectral imagery based on linear mixing model and supervised fuzzy logic algorithms [D] . Pabon Ramirez, Wilma Nydia 2009

机译：基于线性混合模型和监督模糊逻辑算法的高光谱图像软分类
6. Estimates of bilinear pseudodifferential operators associated to bilinear Hörmander classes in Besov and Triebel–Lizorkin spaces with variable exponents [O] . Jingshi Xu, Jinlai Zhu -1

机译：Besov和Triebel–Lizorkin空间中具有可变指数的与双线性Hörmander类相关的双线性伪微分算子的估计
7. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators [O] . Carlos Caleiro, Luca Viganò, Marco Volpe 2014

机译：多维模态逻辑的镶嵌方法 - 一个结合时态和模态算子的案例研究
8. External Operators and Anomalous Dimensions in Soft-Collinear Effective Theory [R] . Becher, T., Hill, R. J., Lange, B. O., 2002

机译：软共线有效理论中的外部算子和异常维数

Combining Soft Linear Logic and Spatio-temporal Operators

摘要

著录项

相似文献

相关主题

期刊订阅