首页> 外文OA文献 >A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)

【2h】

A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)

机译：具有限制交换规则的子结构逻辑研究（非经典逻辑及其Kripke语义学的新方面）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
鹿島亮; 上出哲広;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种 ja
中图分类

相似文献

外文文献
中文文献
专利

1. Kripke Semantics for Modal Substructural Logics [J] . NORIHIRO KAMIDE Journal of logic, language and information . 2002,第4期

机译：模态子结构逻辑的Kripke语义
2. Kripke semantics and proof systems for combining intuitionistic logic and classical logic [J] . Liang C., Miller D. Annals of Pure and Applied Logic . 2013,第2期

机译：结合直觉逻辑和经典逻辑的Kripke语义和证明系统
3. Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics [J] . Hiroakira Ono Proceedings of the Japan Academy, Series A. Mathematical Sciences . 1973,第9期

机译：中间谓词逻辑的语义不完整，I。Kripke的语义
4. Fuzzy Logics and Substructural Logics without Exchange [C] . Mayuka F. KAWAGUCHI, Osamu WATARI, Masaaki MIYAKOSHI Conference of the European Society for Fuzzy Logic and Technology;Rencontres Francophones sur la Logique Floue et ses Applications . 2005

机译：没有交换的模糊逻辑和子结构逻辑
5. A Study of Kripke-type models for some model logics by Gentzen's sequential method [D] . Sato, Masahiko -1

机译：用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
6. Automatic semantic segmentation of breast tumors in ultrasound images based on combining fuzzy logic and deep learning—A feasibility study [O] . Samir M. Badawy, Abd El-Naser A. Mohamed, Alaa A. Hefnawy, 2021

机译：基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
7. An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics) [O] . SUZUKI Nobu-Yuki 1997

机译：Kripke捆语义在中间谓词逻辑中的应用（非经典逻辑的新方面及其Kripke语义）
8. Characterizing Kripke Structures in Temporal Logic [R] . Browne, M. C., Clarke, E. M., Grumberg, O. 1987

机译：在时态逻辑中表征Kripke结构

A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)

著录项

引文网络

相似文献

相关主题

期刊订阅