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

机译：公理系统的三值逻辑的可判定性准则

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

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

机译：建立了基于卢卡西维奇三值逻辑的公理系统可判定性的两个标准。

著录项

来源
《International Tbilisi Symposium on Logic, Language, and Computation(TbiLLC 2005); 20050912-16; Batumi(GE)》|2005年|P.247-259|共13页
会议地点 Batumi(GE)
作者
I.D. Zaslavsky;
展开▼
作者单位

Institute for Informatics and Automation Problems, Armenian National Academy of Sciences, Yerevan, Armenia;

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

机译：三值谓词; Luk理论; Luk一致理论; Luk完全理论; Luk可判定理论;

相似文献

外文文献
中文文献
专利

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. Deciding Regular Grammar Logics with Converse Through First-Order Logic [J] . STEPHANE DEMRI, HANS DE NIVELLE Journal of logic, language and information . 2005,第3期

机译：通过一阶逻辑与逆语法确定正则语法逻辑
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. A first order logic robot planning system. [D] . Borynec, James G. 1987

机译：一阶逻辑机器人计划系统。
6. From axiomatics of quantum probability to modelling geological uncertainty and management of intelligent hydrocarbon reservoirs with the theory of open quantum systems [O] . Miguel Ángel Lozada Aguilar, Andrei Khrennikov, Klaudia Oleschko -1

机译：从量子概率公理学到使用开放量子系统理论对智能油气藏进行地质不确定性建模和管理
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 ir Three-Valued Logic

摘要

著录项

相似文献

相关主题

期刊订阅