Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic

机译：三维逻辑公理系统可辨icis的一些标准

获取原文

页面导航

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

摘要

Two criteria of decidability for axiomatic systems based on J.Lukasiewicz’s three-valued logic are established.

机译：建立了基于J.Lukasiewicz的三价逻辑的公理系统的两个可辨icis的标准。

著录项

来源
《International Tbilisi Symposium on Logic, Language, and Computation》|2007年||共13页
会议地点
作者
I. D. Zaslavsky;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类程序设计、软件工程;
关键词
three-valued predicate; Luk-theory; Luk-consistent theory; Lukcomplete theory; Luk-decidable theory;

机译：三维谓词;Luk-理论;Luk-Ally理论;LukComplete理论;Luk-Decidable理论;

相似文献

外文文献
中文文献
专利

1. FORMAL AXIOMATIC THEORIES BASED ON A THREE-VALUED LOGIC [J] . I. D. Zaslavsky Journal of Mathematical Sciences . 2005,第2期

机译：基于三值逻辑的形式公理学理论
2. Complexity of systems of functions of Boolean algebra and systems of functions of three-valued logic in classes of polarized polynomial forms [J] . Svetlana N. Selezneva Discrete mathematics and applications . 2016,第2期

机译：极化多项式形式的布尔代数函数系统和三值逻辑函数系统的复杂性
3. Reliable Approximated Number System with Exact Bounds and Three-valued Logic [J] . Cha Reeseo, Nam Wonhong, Choi Jin-Young International Journal of Computer Systems Science & Engineering . 2018,第6期

机译：具有精确边界和三值逻辑的可靠近似数系统
4. Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic [C] . I. D. Zaslavsky International Tbilisi Symposium on Logic, Language, and Computation . 2007

机译：三维逻辑公理系统可辨icis的一些标准
5. Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model. [D] . Saifhashemi, Arash. 2012

机译：使用基于三值逻辑模型的调节和重新调节来优化异步管道的功率。
6. Medical recommender systems based on continuous-valued logic and multi-criteria decision operators using interpretable neural networks [O] . Juan G. Diaz Ochoa, Orsolya Csiszár, Thomas Schimper 2021

机译：基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
7. Multivalued logics for diagnosis systems and application to three-valued logics [O] . BONNEMAY Alain, TERRIER François 1987

机译：用于诊断和应用于三值逻辑的多值逻辑

Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic

摘要

著录项

相似文献

相关主题

期刊订阅