搜索结果: 1-10 共查到“数学 Logic”相关记录10条 . 查询时间(0.1 秒)
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...
In this paper, the quantum logical ‘or’ is analyzed from a physical perspective.
We show that it is the existence of EPR-like correlation states for the quantum
mechanical entity under consideration...
视频：浙江技术学院离散数学授课——命题逻辑Logic(2)。
This paper introduces the base-X notation and discusses the conversion between numbers of different bases. It also introduces the tri-value logic that is associated with the base-3 system.
Representation of powers by polynomials over function fields and a problem of Logic
problem of Logic polynomials over function fields Number Theory
2011/9/15
Abstract: We solve a generalization of B\"uchi's problem in any exponent for function fields, and briefly discuss some consequences on undecidability. This provides the first example where this proble...
Modeling of Phenomena and Dynamic Logic of Phenomena
Modeling of Phenomena Dynamic Logic of Phenomena
2011/2/28
Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea b...
Max-Flow Min-Cut Theorems for Communication Networks Based on Equational Logic
Max-Flow Min-Cut Theorems Communication Networks Equational Logic
2011/2/25
Traditionally, communication networks are modeled and analyzed in terms of information flows in
graphs. In this paper, we introduce a new symbolic approach to communication networks, where the topolo...
A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL
Symbolic-Numeric Approach Minimal Polynomial Logic
2008/11/10
We first briefly describe an algebraic model of classical and modal many-valued logics due to the authors and introduced in previous works. A similar approach, also using Computer Algebra techniques (...
The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publi...