搜索结果: 1-10 共查到“数学 logic”相关记录10条 . 查询时间(0.234 秒)
Provability in product logic
Provability product logic
font style='font-size:12px;'>
2015/9/30
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 ...
Why the Logical Disjunction in Quantum Logic is Not Classical
Not Classical Quantum Logic
font style='font-size:12px;'>
2015/7/30
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)。
视频：浙江技术学院离散数学授课——命题逻辑Logic。
Base-X Notation and Tri-Value Logic
Index Terms—Base-X Notation Tri-Value Logic
font style='font-size:12px;'>
2013/1/30
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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 (...
Association for Symbolic Logic（USA）
数理逻辑 逻辑符号 symbolic logic
font style='font-size:12px;'>
2007/12/21
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...