首页> 外文OA文献 >Intuitionistic and classical natural deduction systems with the catch and the throw rules

【2h】

Intuitionistic and classical natural deduction systems with the catch and the throw rules

机译：直觉和经典的自然演绎系统，具有接球和罚球规则

代理获取

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

页面导航

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

著录项

作者
Sato Masahiko;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Label-free natural deduction systems for intuitionistic and classical modal logics [J] . Didier Galmiche, Yakoub Salhi Journal of applied non-classical logics . 2010,第4期

机译：用于直觉和经典模态逻辑的无标签自然演绎系统
2. Towards a canonical classical natural deduction system [J] . Espírito Santo J. Annals of Pure and Applied Logic . 2013,第6期

机译：走向经典的经典自然演绎系统
3. Intuitionistic multi-agent subatomic natural deduction for belief and knowledge [J] . Wieckowski Bartosz Journal of logic and computation . 2021,第3期

机译：直觉多功能亚非原子学自然扣除信念和知识
4. Towards a Canonical Classical Natural Deduction System [C] . Jose Espfrito Santo Computer science logic . 2010

机译：走向经典的经典自然演绎系统
5. A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-classical Logic [D] . Mukhopadhyay, Trisha. 2019

机译：灵活，自然演绎的自动推理机，可快速部署非经典逻辑
6. A new intuitionistic fuzzy rule-based decision-making system for an operating system process scheduler [O] . Muhammad Arif Butt, Muhammad Akram -1

机译：一种新的基于直觉模糊规则的操作系统过程调度决策系统
7. Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules [O] . Masahiko Sato 1995

机译：直觉和经典自然推演系统的接球和罚球规则
8. Restriction to Cut Rule and the Consistency of a Natural Deduction Arithmetic [R] . Kent, C. F. 1964

机译：切割规则的限制与自然演绎算法的一致性

Intuitionistic and classical natural deduction systems with the catch and the throw rules

著录项

引文网络

相似文献

相关主题

期刊订阅