首页> 外文OA文献 >First-order composition-nominative logics with predicates of weak equality and of strong equality

【2h】

First-order composition-nominative logics with predicates of weak equality and of strong equality

机译：一阶组成 - 具有较弱平等和平等的谓词的提名逻辑

代理获取

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

页面导航

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

著录项

作者
S.S. Shkilniak;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Definability theorem for the intuitionistic predicate logic with equality [J] . Chiharu Mizutani Nagoya Mathematical Journal . 1982,第3a4期

机译：具有相等性的直觉谓词逻辑的可定义性定理
2. The Complexity of Positive First-Order Logic without Equality [J] . FLORENT MADELAINE, BARNABY MARTIN ACM transactions on computational logic . 2012,第1期

机译：没有等式的正一阶逻辑的复杂性
3. Equality and Monodic First-Order Temporal Logic [J] . Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa Studia Logica . 2002,第2期

机译：均等和一阶一阶时间逻辑
4. Message Transmission and Key Establishment: Conditions for Equality of Weak and Strong Capacities [C] . Hadi Ahmadi, Reihaneh Safavi-Naini International Symposium on foundations and practice of security . 2013

机译：消息传递和密钥建立：弱能力和强能力相等的条件
5. SEMANTIC PARAMODULATION FOR HORN SETS (LOGIC, EQUALITY, THEOREM-PROVING). [D] . MCCUNE, WILLIAM WALKER, JR. 1984

机译：角集的语义参数调制（逻辑，等式，定理证明）。
6. PREDICATES TERMS OPERATIONS AND EQUALITY IN POLYADIC BOOLEAN ALGEBRAS [O] . Paul R. Halmos 1956

机译：多元布尔代数中的谓词术语运算和等式
7. Pure first-order quasiary logics with equality predicates [O] . M.S. Nikitchenko, S.S. Shkilniak 2017

机译：具有平等谓词的纯一阶次次逻辑

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号