Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics

机译：非古典逻辑中的互补性和异端恶化的一些方面

获取原文

页面导航

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

摘要

In this work we discuss complementarity and heterodoxy in non-classical logics, exemplifying with the paraconsistent C_n systems introduced and studied mainly by Costa.

机译：在这项工作中，我们讨论了非古典逻辑中的互补性和异端恶化，举例说明介绍和研究主要由哥斯达介绍和研究的滞后C_N系统。

著录项

来源
《International Conference on Knowledge-Based Intelligent Information and Engineering Systems》|2018年|xv 768-1506 p. :|共8页
会议地点
作者
Jair M. Abe; Seiki Akama; Kazumi Nakamatsu; Jo?o I. da Silva Filho;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-532;
关键词
complementarity; heterodoxy; heterodox logics; non-classical logics; paraconsistent logic;

机译：互补性;杂交;杂交逻辑;非古典逻辑;滞后逻辑;
入库时间 2022-08-21 05:54:20

相似文献

外文文献
中文文献
专利

1. Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics [J] . Jair M. Abe, Seiki Akama, Kazumi Nakamatsu, Procedia Computer Science . 2018,第1期

机译：非经典逻辑中的互补性和杂合氧基的某些方面
2. Combining and automating classical and non-classical logics in classical higher-order logics [J] . Christoph Benzmueller Annals of Mathematics and Artificial Intelligence . 2011,第1a2期

机译：在古典高阶逻辑中组合和自动化古典和非古典逻辑
3. The Non-classical Logics Corner of the Journal of Logic and Computation [J] . Walter Carnielli, Heinrich Wansing Journal of logic and computation . 2009,第6期

机译：逻辑与计算学报的非经典逻辑角
4. Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics [C] . Jair M. Abe, Seiki Akama, Kazumi Nakamatsu, International Conference on Knowledge-Based Intelligent Information and Engineering Systems . 2018

机译：非古典逻辑中的互补性和异端恶化的一些方面
5. A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-classical Logic [D] . Mukhopadhyay, Trisha. 2019

机译：灵活，自然演绎的自动推理机，可快速部署非经典逻辑
6. Discourse on safe drug use: symbolic logics and ethical aspects [O] . Sylvie Fainzang -1

机译：安全吸毒的话语：符号逻辑和伦理方面
7. Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics) [O] . Bezhanishvili Guram 1997

机译：模态直觉逻辑和谓语超直觉逻辑：对应理论（非古典逻辑及其Kripke语义的新观点）
8. Automated Interpretation of S-Invariants of Predicate/Transition Nets: AnApplication of Non-Classical Logics [R] . Moslemie, A. 1991

机译：谓词/过渡网络s不变量的自动解释：非经典逻辑的应用

Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics

摘要

著录项

相似文献

相关主题

期刊订阅