A Function Elimination Method for Checking Satisfiability of Arithmetical Logics

Castiglioni Valentina; Lanotte Ruggero; Tini Simone

首页> 外文期刊>Fundamenta Informaticae >A Function Elimination Method for Checking Satisfiability of Arithmetical Logics

【24h】

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics

机译：检验算术逻辑是否满足的函数消除方法

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We study function elimination for Arithmetical Logics. We propose a method allowing substitution of functions occurring in a given formula with functions with less arity. We prove the correctness of the method and we use it to show the decidability of the satisfiability problem for two classes of formulas allowing linear and polynomial terms.

机译：我们研究算术逻辑的函数消除。我们提出了一种方法，该方法可以用较少Arity的函数替换给定公式中出现的函数。我们证明了该方法的正确性，并用它来证明两类允许线性和多项式项的公式的可满足性问题的可判定性。

著录项

来源
《Fundamenta Informaticae》 |2016年第2期|51-71|共21页
作者
Castiglioni Valentina; Lanotte Ruggero; Tini Simone;
展开▼
作者单位

Department of Scienza e Alta Tecnologia, University of Insubria, Italy.;

Department of Scienza e Alta Tecnologia, University of Insubria, Italy.;

Department of Scienza e Alta Tecnologia, University of Insubria, Italy.;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Satisfiability Checking For Logic With Equality And Uninterpreted Functions Under Equivalence Constraints [J] . Hiroaki KOZAWA, Kiyoharu HAMAGUCHI, Toshinobu KASHIWABARA IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 2007,第12期

机译：等价约束下具有相等性和未解释函数的逻辑的可满足性检查
2. A Method to Generate Formulas for Temporal Logic Satisfiability Checkers [J] . Toshifusa Sekizawa, Toshinori Takai, Yoshinori Tanabe, Electronics and Communications in Japan. Part 2, Electronics . 2007,第11期

机译：时间逻辑可满足性检查器的公式生成方法
3. Variable and Clause Elimination for LTL Satisfiability Checking [J] . Martin Suda Mathematics in computer science . 2015,第3期

机译：LTL满意度检查的变量和子句消除
4. Optimal Satisfiability Checking for Arithmetic μ-Calculi [C] . Daniel Hausmann, Lutz Schroeder International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software . 2019

机译：算术μ计算的最佳可满足性检查
5. Algorithms for satisfiability problems in linear integer arithmetic logic. [D] . Sheini, Hossein Mohsen. 2006

机译：线性整数算术逻辑中的可满足性问题的算法。
6. A Logic-Based Psychotherapy Approach to Treating Patients Which Focuses on Faultless Logical Functioning: A Case Study Method [O] . Fernando Almeida, Diana Moreira -1

机译：一种基于逻辑的心理治疗方法来治疗专注于无故障逻辑功能的患者：一种案例研究方法
7. Optimal Satisfiability Checking for Arithmetic $$mu $$ -Calculi [O] . Daniel Hausmann, Lutz Schröder 2019

机译：算术$$ mu $$ -calculi的最佳可靠性检查
8. Two Methods for Checking Formulas of Temporal Logic [R] . McGuire, H. W. 1995

机译：检验时态逻辑公式的两种方法

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics

摘要

著录项

相似文献

相关主题

期刊订阅